The connective in logic corresponding to the exclusive nor operation. A XNOR B is equivalent to (A⋀B)⋁(!A⋀!B), where ⋀ denotes AND, ⋁ denotes OR, and !A denotes NOT. The circuit diagram symbol for an XNOR gate is illustrated above, and the XNOR truth table is given below for two arguments. For two arguments, "A XNOR B" is identical to "A iff B" and "A is equivalent to B" (A congruent B). A | B | A XNOR B T | T | T T | F | F F | T | F F | F | T
AND | binary operator | Boolean algebra | connective | equivalent | iff | logic | NAND | NOR | NOT | OR | Pascal's triangle | truth table | XOR