Zgodnie z prawem De Morgana zanegowany iloczyn ¬(A·B) jest równy
Dlaczego tak
Negacja iloczynu jest sumą negacji: ¬(A·B) = ¬A + ¬B, a negacja sumy — iloczynem negacji: ¬(A+B) = ¬A·¬B. Przy przenoszeniu negacji przez nawias trzeba więc zamienić operator, a pozostawienie iloczynu (¬A·¬B) jest najczęstszym błędem. Dzięki temu prawu bramkę NAND można zastąpić bramką OR z zanegowanymi wejściami i odwrotnie.