XNOR gate

Hardware description

XNOR gates are represented in most TTL and CMOS IC families. The standard 4000 series CMOS IC is the 4077, and the TTL IC is the 74266 (although an open-collector implementation). Both include four independent, two-input, XNOR gates. The (now obsolete) 74S135 implemented four two-input XOR/XNOR gates or two three-input XNOR gates.

Both the TTL 74LS implementation, the 74LS266, as well as the CMOS gates (CD4077, 74HC4077 and 74HC266 and so on) are available from most semiconductor manufacturers such as Texas Instruments or NXP, etc. They are usually available in both through-hole DIP and SOIC formats (SOIC-14, SOC-14 or TSSOP-14).

Datasheets are readily available in most datasheet databases and suppliers.

Implementation

AND-OR-invert logic

An XNOR gate can be implemented using a NAND gate and an OR-AND-invert gate, as shown in the following picture. This is based on the identity

${\displaystyle \overline{a⊻b}⟺\left(a\overline{\wedge }b\right)\overline{\wedge }\left(a\vee b\right)}$

An alternative, which is useful when inverted inputs are also available (for example from a flip-flop), uses a 2-2 AND-OR-invert gate, shown on below on the right.

CMOS

CMOS implementations based on the OAI logic above can be realized with 10 transistors, as shown below. The implementation which uses both normal and inverted inputs uses 8 transistors, or 12 if inverters have to be used.

Alternatives

If a specific type of gate is not available, a circuit that implements the same function can be constructed from other available gates. A circuit implementing an XNOR function can be trivially constructed from an XOR gate followed by a NOT gate. If we consider the expression ${\displaystyle (A+\overline{B})\cdot (\overline{A}+B)}$, we can construct an XNOR gate circuit directly using AND, OR and NOT gates. However, this approach requires five gates of three different kinds.

As alternative, if different gates are available we can apply Boolean algebra to transform ${\displaystyle (A+\overline{B})\cdot (\overline{A}+B)\equiv (A\cdot B)+(\overline{A}\cdot \overline{B})}$ as stated above, and apply de Morgan's Law to the last term to get ${\displaystyle (A\cdot B)+\overline{(A+B)}}$ which can be implemented using only three gates as shown on the right.

An XNOR gate circuit can be made from four NOR gates. In fact, both NAND and NOR gates are so-called "universal gates" and any logical function can be constructed from either NAND logic or NOR logic alone. If the four NOR gates are replaced by NAND gates, this results in an XOR gate, which can be converted to an XNOR gate by inverting the output or one of the inputs (e.g. with a fifth NAND gate).

An alternative arrangement is of five NAND gates in a topology that emphasizes the construction of the function from ${\displaystyle (A\cdot B)+(\overline{A}\cdot \overline{B})}$, noting from de Morgan's Law that a NAND gate is an inverted-input OR gate. Another alternative arrangement is of five NOR gates in a topology that emphasizes the construction of the function from ${\displaystyle (A+\overline{B})\cdot (\overline{A}+B)}$, noting from de Morgan's Law that a NOR gate is an inverted-input AND gate.

For the NAND constructions, the lower arrangement offers the advantage of a shorter propagation delay (the time delay between an input changing and the output changing). For the NOR constructions, the upper arrangement requires fewer gates.

From the opposite perspective, constructing other gates using only XNOR gates is possible though XNOR is not a fully universal logic gate. NOT and XOR gates can be constructed this way.

More than two inputs

Although other gates (OR, NOR, AND, NAND) are available from manufacturers with three or more inputs per gate, this is not strictly true with XOR and XNOR gates. However, extending the concept of the binary logical operation to three inputs, the SN74S135 with two shared "C" and four independent "A" and "B" inputs for its four outputs, was a device that followed the truth table:

This is effectively Q = NOT ((A XOR B) XOR C). Another way to interpret this is that the output is true if an even number of inputs are true. It does not implement a logical "equivalence" function, unlike two-input XNOR gates.