Está en la página 1de 13

2.1 COMPUERTAS LÓGICAS.

2.2 TABLAS DE VERDAD.


2.3 COMPUERTAS SIMPLES.
2.4 COMPUERTAS COMPUESTAS.
2.5 ÁLGEBRA BOLEANA Y TEOREMAS DE DEMORGAN.
2.6 LEYES Y POSTULADOS.
2.7 MINIMIZACIÓN DE FUNCIONES DE CIRCUITOS.
2.8 FAMILIAS LOGICAS.
2.1 COMPUERTAS LÓGICAS.
2.2 TABLAS DE VERDAD.
2.3 COMPUERTAS SIMPLES.
2.4 COMPUERTAS COMPUESTAS.
2.5 ÁLGEBRA BOLEANA Y TEOREMAS DE DEMORGAN.
2.6 LEYES Y POSTULADOS.
2.7 MINIMIZACIÓN DE FUNCIONES DE CIRCUITOS.
2.8 FAMILIAS LOGICAS.
DeMorgan matemático que conocía a Boole, propuso dos
teoremas que constituyen una parte importante del álgebra de
Boole. En términos prácticos, los teoremas de DeMorgan
proporcionan una verificación matemática de la equivalente
entre las puertas NAND y negativa-OR, y las puertas NOR y
negativa-AND.
El primer teorema de DeMorgan se enuncia de la siguiente
forma:
El complemento de un producto de variables es igual a la
suma de los complementos de las variables.
O dicho de otra manera
El complemento de dos o mas variables a las que se aplica la
operación AND es equivalente a aplicar la operación OR a
los complementos de cada variable.
La formula para expresar este teorema para dos variables es:
𝑋𝑌 = 𝑋ത + 𝑌ത
En el segundo teorema de DeMorgan se enuncia como sigue:
El complemento de una suma de variables es igual al
producto de los complementos de las variables.
O dicho de otra manera,
El complemento de dos o mas variables a las que se le aplica
la operación OR es equivalente a aplicar la operación AND a
los complementos de cada variable.
La formula para expresar este teorema es:
𝑋 + 𝑌 = 𝑋ത 𝑌ത
El siguiente procedimiento ilustra la aplicación de los teoremas de
DeMorgan y del algebra de Boole a la expresión:

𝐴 + 𝐵 𝐶ҧ + 𝐷(𝐸 + 𝐹)

Paso 1. Identificamos los términos a los que se pueden aplicar los


teoremas de DeMorgan y consideramos cada termino como única
variable, por lo que establecemos 𝐴 + 𝐵𝐶ҧ = 𝑋 y 𝐷(𝐸 + 𝐹)
ത =𝑌
Paso 2. Dado que 𝑋 + 𝑌 = 𝑋ത 𝑌.

𝐴 + 𝐵𝐶ҧ + 𝐷(𝐸 + 𝐹) ҧ
ത = (𝐴 + 𝐵𝐶)(𝐷(𝐸 ത
+ 𝐹))

Paso 3. Utilizamos la regla 9 (𝐴Ӗ = 𝐴) para eliminar la barra doble


sobre el termino de la izquierda (esto no es parte del teorema de
DeMorgan).

ҧ
(𝐴 + 𝐵 𝐶)(𝐷(𝐸 + 𝐹)) ҧ
ത = (𝐴 + 𝐵𝐶)(𝐷(𝐸 ത
+ 𝐹))

Paso 4. Aplicando el teorema de DeMorgan al segundo termino:

(𝐴 + 𝐵𝐶)ҧ 𝐷 𝐸 + 𝐹ത ҧ 𝐷
= (𝐴 + 𝐵 𝐶)( ഥ + (𝐸 + 𝐹))

Paso 5. Empleamos la regla 9 (𝐴Ӗ = 𝐴) para cancelar las barras
dobles sobre la parte 𝐸 + 𝐹 del término.

𝐴 + 𝐵 𝐶ҧ ഥ + 𝐸 + 𝐹ത
𝐷 ҧ 𝐷
= (𝐴 + 𝐵𝐶)( ഥ + 𝐸 + 𝐹)

• Roger Tokeim, Electrónica digital, principios y
aplicaciones, Séptima Edición, Mc Graw Hill.
• Mano M. Morris, Diseño Digital. Primera Edición, Prentice
Hall Hispanoamérica S.A. México 1990.
• Thomas L. Floyd, Fundamentos de Sistemas Digitales,
Novena edición, Pearson Prentice Hall.