DeMorgan propuso dos teoremas que constituyen una parte muy importante del lgebra de Boole.

Estos teoremas nos demuestran la equivalencia entre: Las puertas NAND y Negativa-OR Las puertas NOR y Negativa-AND

PRIMER TEOREMA DE DEMORGAN El complemento de un producto de variables es igual a la suma de los complementos de las variables. De forma equivalente: o El complemento de dos o ms variables a las que se aplica la operacin AND es equivalente a aplicar la operacin OR a los complementos de cada variable. Frmula para expresar el teorema para dos variables: (XY) = X + Y

Puerta equivalente y tabla de verdad: X 0 0 1 1 Y 0 1 0 1 (XY) 1 1 1 0 X+Y 1 1 1 0

SEGUNDO TEOREMA DE DEMORGAN El complemento de una suma de variables es igual al producto de los complementos de las variables. De forma equivalente: o El complemento de dos o ms variables a las que se aplica la operacin OR es equivalente a aplicar la operacin AND a los complementos de cada variable.

Frmula para expresar el teorema para dos variables: (X + Y) = X Y Puerta equivalente y tabla de verdad X 0 Y (X + Y) 0 1 XY 1

0 1 1

1 0 0 0 1 0

0 0 0

Los Teoremas de DeMorgan se aplican tambin a expresiones en las que existen ms de dos variables: (XYZ) = X + Y + Z (X + Y + Z) = XYZ