Dlaczego tak
Funkcja równoważności jest negacją alternatywy wykluczającej, więc bramka EX-OR z negatorem na wyjściu, czyli w praktyce bramka EX-NOR, daje 1 dla A = B. Sama bramka EX-OR jest kuszącą odpowiedzią, bo dotyczy porównywania stanów, ale daje 1 dla wejść różnych, czyli odwrotnie. Bramka NAND z zanegowanymi wejściami oraz bramka NOR z negatorem na wyjściu realizują sumę logiczną A + B.