訂正です。ANDは論理積です。ORは、論理和です。XORは排他的論理和（別名不一致回路）です。お詫びして訂正いたします。