de Morgan’s theorem

(X + Y)' = X' • Y'NOR is equivalent to AND with inputs complemented

(X • Y)' = X' + Y'NAND is equivalent to OR with inputs complemented

X Y X' Y' (X + Y)' X' • Y'0 0 1 1 1 10 1 1 0 0 01 0 0 1 0 0

1 1 0 0 0 0

X Y X' Y' (X • Y)' X' + Y'0 0 1 1 1 10 1 1 0 1 11 0 0 1 1 1

1 1 0 0 0 0

Previous slide

Next slide

Back to first slide

View graphic version