Algebra de Boole

Propiedades de las Operaciones Booleanas Las operaciones booleanas estn regidas por tres leyes similares a las del lgebra convencional. Leyes conmutativa y asociativa de la suma y la multiplicacin y la ley distributiva.

Leyes conmutativas en dos variables 1. Ley conmutativa de la suma 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.

Algebra de Boole
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

Algebra de Boole
Leyes asociativas en tres variables
2. Ley asociativa de la multiplicacin

A( B C) = ( AB ) C

Algebra de Boole
Ley distributiva para tres variables
En el lgebra de Boole, la multiplicacin lgica se distribuye sobre la suma lgica,

A( B + C ) = AB + AC

Algebra de Boole
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: 8. X + X = 1 1. X + 0 = X 2. X + 1 = 1 9. X.X= 0 3. X0 = 0 10. X + XY = X 4. X1 = X 11. X +XY = X + Y 5. (X)=X 12. XY + XY = X (Teorema de combinacin) 6. X + X = X 13. (X +Y)(X + Y) = X + XY + XY = X 7. XX = X 14. XY + XZ + YZ = XZ + YZ (Consenso)

Algebra de Boole
Teoremas Booleanos 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

Algebra de Boole
Teoremas Booleanos

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.

(X +Y)(X + Y) = X + XY + XY = X

Algebra de Boole
Teoremas de DeMorgan Los teoremas de DeMorgan demuestran la equivalencia entre las puertas NAND y negativa OR, y las puertas NOR y negativa AND. El complemento de la suma de variables es igual al producto de los complementos de las variables.

(X1 + X2 +.....+ Xn) = X1 X2 ..... Xn

Algebra de Boole
En el caso de dos variables se tiene,

(X + Y) = X Y
El circuito equivalente se muestra en la figura:

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

Algebra de Boole
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

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

Algebra de Boole
Representacin grfica:

Algebra de Boole
Representacin grfica:

Algebra de Boole
Simplificacin de Expresiones Lgicas
El objetivo 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

Algebra de Boole
Simplificacin de Expresiones Lgicas Ejemplo: F = (A+B)(A+B); F = AA + AB + AB + BB; F = AB + AB F = [(A + C)(B + D)]; F = (A + C)+(B + D); F= AC + BD

Algebra de Boole
Simplificacin de Expresiones Lgicas 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)

Algebra de Boole
Implementacin de Funciones Lgicas mediante Compuertas. Para 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 total La expresin resultante podemos simplificarla para obtener una ms sencilla y as obtener un circuito ms reducido.

Algebra de Boole
Ejemplo Encontrar la expresin para el circuito

1. La expresin de la compuerta NOR situada a la izquierda cuyas entradas son A y B es (A+B). 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 lo tanto, la expresin de esta compuerta OR es [(A+B)C]+D.