TEMA 4.

ALGEBRA BOOLEANA Y TEOREMAS DE DEMORGAN

4.1. TEOREMAS DE ALGEBRA BOOLEANA Los teoremas booleanos sirven para simplificar las expresiones booleanas y los circuitos lgicos. Teoremas con una variable

1. 2. Si se aplica la operacin AND a una variable cualquiera y a 0, el resultado es siempre igual a 0.

3. Si se aplica la operacin AND a una variable cualquiera y a 1, el resultado es siempre igual a la variable.

4. Si se aplica la operacin OR a una variable cualquiera y a 0, el resultado es siempre igual a la variable

5. Si se aplica la operacin OR a una variable cualquiera y a 1, el resultado es siempre igual a 1

6. Si se aplica la operacin OR a una variable consigo misma, el resultado es siempre igual a la variable

7. Si se aplica la operacin OR a una variable y a su complemento, el resultado es siempre igual a la 1

8. Si se aplica la operacin AND a una variable consigo misma, el resultado es siempre igual a la variable

9. Si se aplica la operacin AND a una variable y a su complemento, el resultado es siempre igual a 0

Teoremas con variables mltiples

10. Si se aplica la operacin OR a una variable y al producto de esa misma variable con una segunda variable, el resultado es siempre igual a la primera variable

11. Si se aplica la operacin OR a una variable y al producto del complemento de esa misma variable con una segunda variable, el resultado es siempre igual a aplicar la operacin OR a las dos variables

12. Si se aplica la operacin OR al complemento de una variable y al producto de esa misma variable con una segunda variable, el resultado es siempre igual a aplicar la operacin OR al complemento de la primera variable y la segunda variable.

13. Ley conmutativa de la suma: establece que el orden en que se aplica a las variables la operacin OR es indiferente

14. Ley conmutativa de la multiplicacin: establece que el orden en que se aplica a las variables la operacin AND es indiferente

15. Ley asociativa de la suma: establece que, al aplicar la operacin OR a ms de dos variables, el resultado es el mismo independientemente de la forma en que se agrupen las variables

16. Ley asociativa de la multiplicacin: establece que, al aplicar la operacin AND a ms de dos variables, el resultado es el mismo independientemente de la forma en que se agrupen las variables

17. Ley distributiva: establece que aplicar la operacin OR a dos o ms variables y luego
aplicar la operacin AND al resultado de esta suma y a otra variable aislada es equivalente a aplicar la operacin AND a la variable aislada con cada uno de los sumandos y luego aplicar la operacin OR a los productos resultantes

4.2. TEOREMAS DE DEMORGAN Primer teorema de DeMorgan: indica que el complemento de un producto de variables es igual a la suma de los complementos de las variables

Este teorema establece la equivalencia entre una puerta NAND y una puerta OR con las entradas negadas (negativa-OR)

Segundo teorema de DeMorgan: El segundo teorema de DeMorgan indica que el complemento de una suma de variables es igual al producto de los complementos de las variables.

Este teorema establece la equivalencia entre una puerta NOR y una puerta AND con las entradas negadas (negativa-AND)

4.3. UNIVERSALIDAD DE LAS COMPUERTAS NAND Y NOR Esta compuertas se dicen que son "universales" puesto que con cada una de las dos familias podemos realizar todas las funciones lgicas.

En la tabla a continuacin se muestran los operadores lgicos en funcin de solo compuertas NOR y solo compuertas NAND. NAND NOR

4.5. REPRESENTACIONES ALTERNAS DE COMPUERTAS LGICAS

Aunque muchos diagramas todava usan exclusivamente smbolos estndar, cada vez es ms comn hallar diagramas de circuitos que utilizan un conjunto alternativo de smbolos. Para obtener estos smbolos alternativos se aplica lo siguiente: 1.- Invertir cada entrada y salida del smbolo estndar. 2.- Cambiar el smbolo de operacin de AND a OR, o de OR a AND. (En el caso especial del INVERSOR o NOT, no se cambia el smbolo de operacin.)

Smbolos estandar y alternativos para las compuertas lgicas e inversor.

Por ejemplo, el smbolo NAND estndar es un smbolo AND con una burbuja en su salida. Siguiendo los pasos delineados antes, suprima la burbuja de la salida y agregue una en cada entrada. Luego cambie el smbolo AND por un smbolo OR. El resultado es un smbolo OR con burbujas en sus entradas. Se demuestra fcilmente que este smbolo alternativo es equivalente al estndar utilizando los teoremas de DeMorgan y recordando que la burbuja representa una operacin de inversin. Debe hacerse hincapi en varios puntos referentes a los equivalentes de los smbolos lgicos: 1.- Las equivalencias son vlidas para compuertas con cualquier nmero de entradas. 2.- Ninguno de los smbolos estndar tiene burbujas en sus entradas y todos los smbolos alternativos las tienen. 3.- Los smbolos estndar y alternativos de cada compuerta representan el mismo circuito fsico; no hay diferencia alguna en los circuitos representados por los dos smbolos. 4.- Las compuertas NAND y NOR son compuertas de inversin, as que los smbolos estndar y alternativos de cada una tendrn una burbuja, ya sea en la entrada o en la salida. Las compuertas AND y OR son compuertas de no inversin, de manera que los smbolos alternativos para cada una tendrn burbujas en las entradas y en las salidas.