The XNOR gate (sometimes ENOR, EXNOR, XAND, or — the strictly correct — NXOR, and pronounced as Exclusive NOR) is a digital logic gate whose function is the logical complement of the Exclusive OR gate (XOR gate; hence, the common name can be confusing as it is not an "Exclusive variant" of a NOR 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 S = A ⊙ B {\displaystyle S=A\odot B} . The algebraic expressions ( A + B ¯ ) ⋅ ( A ¯ + B ) {\displaystyle (A+{\overline {B}})\cdot ({\overline {A}}+B)} and A ⋅ B + A ¯ ⋅ B ¯ {\displaystyle A\cdot B+{\overline {A}}\cdot {\overline {B}}} both represent the XNOR gate with inputs A and B.