Eine Exklusiv-NICHT-ODER-Verknüpfung (auch XNOR, NXOR oder Äquivalenz) ist ein Begriff aus der Aussagenlogik. Die Gesamtaussage ist dann wahr, wenn entweder alle Teilaussagen wahr oder alle falsch sind. Anders formuliert ist eine (binäre) XNOR-Verknüpfung genau dann wahr, wenn beide Teilaussagen den gleichen Wahrheitswert liefern. Die XNOR-Verknüpfung ist eine Kontravalenz gefolgt von einer Negation.
XNOR-Verknüpfung zweier Bits: 0 XNOR 0 = 1 0 XNOR 1 = 0 1 XNOR 0 = 0 1 XNOR 1 = 1
Siehe auch: XNOR-Gatter