TEOREMAS DE “DE

MORGAN”
Ing. Iván Cruz Bustamante
DEFINICION
• Las leyes o teorema de Morgan son herramientas esenciales tanto en la lógica
proposicional como en el álgebra de Boole. De manera general, se define como la
equivalencia que existe entre dos proposiciones lógicamente equivalentes. Su
aplicación permite simplificar expresiones booleanas, así como cambiar el
operador de conjunción al operador de disyunción y de manera contraria.
• De manera más expensa, se explica que es posible realizar este cambio de operador
aunque las conjunciones y disyunciones sean afirmativas o negativas, ya sea que se
trate de las proposiciones completas o en alguna de sus partes. Esto también ha
sido definido como la conversión entre compuertas AND y OR, a través de la
aplicación de operaciones de puertas básicas. Este enunciado engloba las reglas de
inferencia básica pertenecientes a la lógica proposicional, asegurando que es
posible expresar conjunciones y disyunciones utilizando término de negación.
DEFINICION
COMPUERTAS A PARTIR DE DE
MORGAN
• Para desarrollar programas o circuitos, es necesario a conocer a fondo
cómo obtener compuertas lógicas a partir de estas leyes:
• Para lograr obtener una compuerta AND, es necesario utilizar una
compuerta NOR con sus entradas negadas.
• La obtención de una compuerta OR se logra utilizando una compuerta
NAND con sus entradas negadas.
• Se puede obtener una compuerta NAND utilizando la compuerta OR
con sus entradas negadas.
• Una compuerta NOR se obtiene utilizando una compuerta AND con
todas sus entradas negadas.
 EJEMPLO 1
• Simplifique la siguiente expresión:

• Aplicar el Segundo Teorema de De Morgan:

TABLA DE VERDAD DE

DECIMAL A B C Q
0 0 0 0 1
1 0 0 1 1
2 0 1 0 1
3 0 1 1 1
4 1 0 0 0
5 1 0 1 0
6 1 1 0 1
7 1 1 1 0
EJEMPLO 2. Reduzca la expresión por
Algebra de Boole
TABLA DE VERDAD DE
DECIMAL X Y Z Q
0 0 0 0 1
1 0 0 1 1
2 0 1 0 1
3 0 1 1 1
4 1 0 0 0
5 1 0 1 1
6 1 1 0 0
7 1 1 1 1