Dlaczego tak
Z prawa De Morgana ¬A + ¬B = ¬(A·B), więc negując obie strony otrzymuje się A·B = ¬(¬A + ¬B): negacje A i B wykonują dwie bramki NOR o zwartych wejściach, a trzecia bramka NOR realizuje zanegowaną sumę. Postać ¬(A + B) jest kusząca, bo to funkcja jednej bramki NOR, ale opisuje NOR, a nie AND. Wyrażenie ¬A + ¬B to NAND, a ¬(¬A · ¬B) równa się A + B, czyli funkcji OR.