de Morgan’s Law
(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
X Y X' Y' (X • Y)' X' + Y'0 0 1 1 1 10 1 1 0 1 11 0 0 1 1 1
It can be used to convert AND/OR expressions to OR/AND expressionse.g., Z = A' B' C + A' B C + A B' C + A B C' Z' = (A + B + C')•(A + B' + C')•(A' + B + C')•(A' + B' + C)