Dlaczego tak
Prawo De Morgana mówi, że ¬(A · B) = ¬A + ¬B, więc suma zanegowanych zmiennych odpowiada zanegowanemu iloczynowi, czyli bramce NAND. Pomylenie praw daje NOR, który jest równy iloczynowi negacji ¬A · ¬B, a nie ich sumie. Dzięki tej zależności bramka NAND z zanegowanymi wejściami działa jak OR, co pozwala budować układy z bramek jednego typu.