Dlaczego tak
Lampka ma świecić tylko dla A = 0 i B = 0, czyli Y = ¬A·¬B, co z prawa De Morgana jest równe ¬(A + B) – to funkcja bramki NOR. Bramka NAND daje 1 dla trzech kombinacji, w tym przy jednym otwartym oknie, więc nie spełnia warunku. Bramka OR działa odwrotnie (sygnalizuje otwarcie któregokolwiek okna), a EX-OR – otwarcie dokładnie jednego.