Dlaczego tak
Bramki AND tworzą iloczyny A·B i C·D, a bramka NOR je sumuje i neguje wynik, więc Y = ¬(A·B + C·D); taki układ nazywa się AND-OR-INVERT. Odpowiedź Y = A·B + C·D jest kusząca, bo poprawnie opisuje strukturę iloczynów i sumy, ale pomija negację wnoszoną przez bramkę NOR. Wyrażenie ¬(A + B)·¬(C + D) powstałoby, gdyby pierwszy poziom tworzyły bramki NOR, a ¬(A·B·C·D) — przy jednej czterowejściowej bramce NAND.