Teoremas de DeMorgan

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

Escuela Politcnica Superior

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:
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:

Escuela Politcnica Superior

Segundo Teorema de DeMorgan

El complemento de una suma de variables es igual al
producto de los complementos de las variables.
De forma equivalente:
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=XY
Puerta equivalente y tabla de verdad:

Escuela Politcnica Superior

Teoremas de DeMorgan para Ms de Dos

Variables
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

Escuela Politcnica Superior