In der Booleschen Algebra werden die logischen Zusammenhänge durch Logiken realisiert.
Neben der Konjunktion, der logischen Und- Verknüpfung, gibt es die Disjunktion, die logische Oder-Verknüpfung, die Negation, die Invertierung des logischen Zustands und die Antivalenz. Letztere heißt im englischen Anticoincidence und drückt damit aus, dass die logischen Zustände nicht koinzident sind.
Die Logikfunktion der Antivalenz wird durch das XOR-Gatter erfüllt. Dabei hat der Ausgang dann den Zustand "1", wenn alle Eingänge unterschiedlich sind, also nicht koinzident. Der Ausgang ist dann "0", wenn alle Eingänge gleich sind.