propiedades de las Operaciones Booleanas Las operaciones booleanas estn regidas por tres leyes similares a las del

lgebra convencional. Estas incluyen las leyes conmutativas de la suma y la multiplicacin y la ley distributiva. Leyes conmutativas en dos variables 1. Ley conmutativa de la suma se enuncia como sigue X+Y=Y+X En aplicacin a los circuitos digitales, podramos decir que no importa el orden de conexin de las entradas a una compuerta OR. 2. Ley conmutativa de la multiplicacin XY = Y X En aplicacin a los circuitos digitales, podramos decir que no importa el orden de conexin de las entradas a una compuerta AND. Leyes asociativas en tres variables 1. Ley asociativa de la adicin, se escribe en forma algebraica de la siguiente forma A+(B+C)=(A+B)+C En la figura 2.1.6 se muestra la aplicacin de la propiedad a las compuertas OR,

Figura 2.1.6. Ley asociativa de la adicin

2. Ley asociativa de la multiplicacin A( B C) = ( AB ) C En la figura 2.1.7 se muestra la aplicacin de la propiedad a las compuertas AND,

Figura 2.1.7. Ley asociativa de la multiplicacin

Ley distributiva para tres variables En el lgebra de Boole, la multiplicacin lgica se distribuye sobre la suma lgica, A( B + C ) = AB + AC

En la figura 2.1.8 se muestra la aplicacin de la propiedad a las compuertas AND y OR,

Figura 2.1.8. Ley distributiva para tres variables

lgebra de Boole (Continuacin) Teoremas Booleanos Los teoremas booleanos son enunciados siempre verdaderos, lo que permite la manipulacin de expresiones algebraicas, facilitando el anlisis sntesis de los circuitos digitales. Los teoremas booleanos son los siguientes: 1. 2. 3. 4. 5. 6. 7. 8. 9. 10. 11. 12. 13. 14. X+0=X X+1=1 X0 = 0 X1 = X (X)=X X+X=X XX = X X + X = 1 X.X= 0 X + XY = X X +XY = X + Y XY + XY = X (Teorema de combinacin) (X +Y)(X + Y) = X + XY + XY = X XY + XZ + YZ = XZ + YZ (Consenso)

El teorema 12 se conoce como la ley distributiva para tres variables. Demostracin teorema 12: XY + XY = X Utilizando la ley distributiva para tres variables XY + XY= X(Y+Y) Aplicando el teorema 8 se tiene, XY + XY= X1 Dando como resultado, XY + XY= X Esta expresin indica que la suma de dos productos cannicos adyacentes, es decir que difieren en una sola de las variables, se reduce al producto de los dems trminos suprimindose dicha variable. El teorema 13 es otro caso del teorema de combinacin. Los teoremas 12 y 13 se utilizarn en las lecciones siguientes de forma sistemtica para sintetizar circuitos lgicos con los mtodos de mapas de karnaugh y el algortimo de QuineMcCluskey. (ver leccin 4).

Teoremas de DeMorgan Los teoremas de DeMorgan demuestran la equivalencia entre las puertas NAND y negativa OR, y las puertas NOR y negativa AND. 1. El complemento de la suma de variables es igual al producto de los complementos de las variables. (X1 + X2 +.....+ Xn) = X1 X2 ..... Xn En el caso de dos variables se tiene, (X + Y) = X Y El circuito equivalente a la ecuacin anterior se muestra en la figura 2.1.9.

Figura 2.1.9. Smbolo lgico para la compuerta NOR.

Ejemplo Obtener una compuerta OR utilizando compuertas NAND. Y = (A + B) = [(A + B)] = (AB)

Figura 2.1.10. Compuerta OR utilizando compuertas NAND

1. El complemento del producto de variables es igual a la suma de los complementos de las variables. (X1 X2 ..... Xn) = X1 + X2 + .....+ Xn En el caso de dos variables se tiene, (X Y) = X + Y El circuito equivalente en dos variables a la ecuacin se muestra en la figura 2.1.11.

Figura 2.1.11. Smbolo lgico para la compuerta NOR.

Ejemplo Obtener una compuerta AND utilizando compuertas NOR. Y = AB = [(A.B)] = (A+B)

Figura 2.1.12. Circuito lgico para la compuerta AND

Simplificacin de Expresiones Lgicas El objetivo de la simplificacin de expresiones lgicas es reducir la expresin al menor nmero posible de trminos. Las expresiones lgicas se pueden simplificar utilizando los teoremas anteriores. Ejemplo F = ABC + ABC F = AB(C + C) F = AB Ejemplo F= (A+B)(A+B) F = AA + AB + AB + BB F = AB + AB Ejemplo F = [(A + C)(B + D)] F = (A + C)+(B + D) F= AC + BD Ejemplo F = (X + Z)(Z + WY) + (VZ + WX)(Y + Z) F = (X + Z)[Z(W + Y)] + [(VZ + WX)(YZ)] F = (X + Z)(ZW + ZY) + VYZZ + WXYZ F = WXZ + XYZ + ZZW + ZZY + WXYZ

F = WXZ + XYZ + WZ + YZ + WXYZ F = WZ(1 + X) + YZ(1 + X) + WXYZ F = WZ + YZ + WXYZ F = WZ + YZ(1 + WX) F = Z(W + Y)

Implementacin de Funciones Lgicas mediante Compuertas. La forma ms fcil de encontrar la expresin de un circuito lgico consiste en comenzar con las entradas situadas ms a la izquierda e ir avanzando hasta la salida de cada compuerta lgica, obteniendo la expresin para cada una de ellas. Al final del recorrido se debe tener la expresin para todo el circuito. La expresin resultante podemos simplificarla para obtener una ms sencilla y as obtener un circuito ms reducido. Ejemplo Encontrar la expresin para el circuito de la figura.

Figura 2.1.13. Smbolo lgico para la compuerta NOR.

1. La expresin de la compuerta NOR situada a la izquierda cuyas entradas son A y B es (A+B). Esta es la primera entrada de la compuerta AND situada a la derecha. 2. La expresin de la compuerta AND cuyas entradas son (A+B) y C es (A+B)C. 3. La salida de la compuerta AND es la primera entrada de la compuerta OR del extremo derecho. Por lotanto, la expresin de esta compuerta OR es [(A+B)C]+D.