Algebra booleana y simplificación de expresiones mediante teoremas de DeMorgan.

A continuación se examinan dos métodos para desarrollar los diagramas lógicos requeridos a
partir de una tabla de verdad. El primero de ellos hace uso del álgebra booleana y de los teoremas
de DeMorgan para reducir las expresiones obtenidas a otras que contengan el menor número de
términos (expresiones mínimas). El segundo método es una variación del primero y emplea una
herramienta denominada mapa de Karnaugh.

Teoremas de Boole.

1. (“A” puede valer 0 ó 1.)

Caso I: Si A = 0, entonces y

Caso II: Si A= 1, entonces y

2. (“A” puede valer 0 ó 1.)

El 0 inhabilita la compuerta AND y la salida siempre es O.

3. (“A” puede valer 0 ó 1.)

La entrada 0 habilita la compuerta. Caso I: Si la salida es 1. Caso II: Si , la salida es
0. La salida siempre es igual a la entrada “A”.

4. (“A” puede valer 0 ó 1.)

La entrada 1 habilita la compuerta. Caso I: Si , la salida es 1. Caso II: Si A = 0, la salida es 0.
La salida siempre es igual a la entrada “A”.

5. (“A” puede valer 0 ó 1.)

La entrada 1 inhabilita la compuerta y "fija" la salida en 1. La salida no responde a los cambios
en la entrada A.

6. (“A” puede valer 0 ó 1.)

Caso I: Si A = O, entonces 0 + 0 = 0. Caso II: Si A=1, entonces 1+1=1. En cualquier caso, la salida
sigue a la entrada “A”.
7. (“A” puede valer 0 ó 1.)
Caso I: Si A = 0, entonces los dos ceros en la entrada de la AND producen una salida 0.
Caso II: Si A = 1, entonces los dos unos en la entrada de la AND producen una salida 1.
En cualquier caso, la salida es igual a las entradas.

8. (“A” puede valer 0 ó 1.)

Caso I: Si A = 1, entonces la salida es 1.
Caso II: Si A = 0, entonces A = 1 y la salida es 1.
La salida siempre es 1.

9. (“A” puede valer 0 ó 1.)

Caso I: Si A = 1, entonces y la salida es 0.
Caso II: Si A = 0, entonces y la salida es 0
En cualquier caso, la salida es 0.

10. (factor común)

11.

Comprobación.
Teoremas de DeMorgan

Los teoremas de DeMorgan son los siguientes:

1. Teorema :
La tabla de verdad siguiente muestra como comprobación que el miembro izquierdo de la ecuación
es igual al miembro derecho.
Este teorema refuerza el hecho de que una compuerta NAND es lo mismo que invertir las entradas
de una compuerta OR.

2. Teorema:

La tabla de verdad siguiente muestra como comprobación que el miembro izquierdo de la ecuación
es igual al miembro derecho.

Este teorema apoya el hecho de que una NOR es lo mismo que invertir las entradas de una AND.

Para aplicar los teoremas de DeMorgan, siga estas reglas:

1. Complementar toda la expresión (Negar toda la expresión)

2. Cambiar la función entre cada término.

3. Complementar cada término (Negar cada termino de la expresión)