Dlaczego tak
Wyrażenie A·B̄ + Ā·B to suma modulo 2 (alternatywa wykluczająca) — wyjście ma stan 1, gdy wejścia się różnią, co realizuje bramka EX-OR. EX-NOR daje funkcję odwrotną (1 przy jednakowych wejściach), a NAND i NOR nie realizują tej funkcji w pojedynczej bramce.