XNOR gate

The XNOR gate (sometimes ENOR, EXNOR, NXOR, XAND and pronounced as Exclusive NOR) is a digital logic gate whose function is the logical complement of the Exclusive OR (XOR) gate. It is equivalent to the logical connective (${\displaystyle \leftrightarrow }$) from mathematical logic, also known as the material biconditional. The two-input version implements logical equality, behaving according to the truth table to the right, and hence the gate is sometimes called an "equivalence gate". A high output (1) results if both of the inputs to the gate are the same. If one but not both inputs are high (1), a low output (0) results.

The algebraic notation used to represent the XNOR operation is ${\displaystyle S=A\odot B}$. The algebraic expressions ${\displaystyle (A+{\overline {B}})\cdot ({\overline {A}}+B)}$ and ${\displaystyle A\cdot B+{\overline {A}}\cdot {\overline {B}}}$ both represent the XNOR gate with inputs A and B.