Definiciones bsicas o axiomas del algebra de Boole X=0 si A1 X=1 si A2 S x=0 S x=1 A3 a) b) A4 a) b) A5 a) b) x <> 1 x <> 0 => =1 => =0 Es decir,

que una variable binaria solo puede tener uno de dos valores posibles: cero, uno. Si x vale 0, implica que x complemento vale 1. El complemento de una variable tambin puede representarse como (x barra) o bien X cero y cero es igual a cero. Operacin AND cero o cero es igual a cero. Operacin OR uno y uno es igual a uno. uno o uno es igual a uno. cero y uno es igual a cero. cero o uno es igual a uno.

0 0 =0 0+0=0 11=1 1+ 1 = 1 0 1 = 1 0 = 0 0+1 = 1+0 = 1

Teoremas bsicos del Algebra de Boole T1 T2 X+0=X X+1=1 X 1 = X X0=0 Propiedad de identidad Elementos nulos Un 1 en una compuerta or, anula a la seal x Un 0 en una compuerta and, anula a la seal x Variable 2 veces complementada Propiedad de potencia idntica Propiedad de los complementos Propiedad de Conmutatividad Asociatividad de variables con el operador + Distributividad de variables con el operador punto Cobertura de una variable X, sobre otra Y

T3 T4 T5 T6 T7 T8

= x X+X=X X X = X X+ =1 X =0 X+Y=Y+X X Y=Y X (X + Y) + Z = X + (Y + Z) X (Y + Z) = XY + XZ

T9 X + X Y = X X(X+Y) = X T10 X + Y = X + Y X( )=X Y T11 (x+y) (x+ ) = x (xy) + (x ) = x T12 XY + Z + YZ = X Y + Z (X+Y)( +Z)(Y+Z) =(X+Y)( +Z) T13 ( X1X2 .. Xn) = + + .. + X1 + X2 + .. +Xn = ..

Concenso Teoremas de DeMorgan

Estos teoremas pueden ser utilizados para que a partir de una expresin algebraica, se obtengan otras equivalentes u otras ms simples (simplificacin). Al simplificar una expresin algebraica, obtenemos circuitos lgicos ms simples, con menos compuertas, es decir, reducimos el costo econmico de los circuitos aumentando en algunos casos su velocidad de operacin. Observemos el teorema 11 aplicado para simplificar la expresin Z = XY + XY

Diagrama Elctrico original

Diagrama elctrico simplificado.

Ejercicios. Utilice los axiomas y teoremas para simplificar las siguientes expresiones algebraicas.

X=ABC + C = C (AB+ ) = C ( + B)

Q= ( ) ( =( + + ) ( = + = +A C ) Y=( = =

) ) + T13

Y = (Q+R) ( + ) =Q +Q + = 0+ Q +R +0 =Q + R + + CD CD + A C

+R

X= = =

+ BC+A ( +A) + C ( B+ A + C ( B+ A )

)+ C +A + C +A A+

Z= ( + ) ( + ) + ( ) = ( + ) ( + ) + (A C) = B + BC + + C+A C = BC+ + C+A C = BC + +A C = C (B+ A ) + Z= A B C + A = ABC + A = ABC + A = ABC + A = ABC + A = ABC + A = AC (B + = AC + A = A(C + ) ( ( ) )

W =ABC + A C + =AC (B+ ) + =AC +

Z= ABC + AB + A C = ABC + AB + A C+ABC = AB(C + ) + AC ( + B) = AB + AC = A ( B+C)

Z= ( =

+ ) (A+B+D) A + B + D +0

( ) (A +C) A+A C +A C )+A

BA + BB + BD = 0+ B + 0 + AB + B = B ( +A+1) = B

Z= C ( )+ +A C = C (A+ + ) + +A C = CA+ C + C + B +A C = C+ C + B +A C = C( )+ (C+B ) = C+ + (B+C)

Z= ABC+AB + A C = AB(C+ ) + A C = AB + A C = A (B + C) = A (B+C)

Universalidad de las compuertas NAND y NOR Los circuitos lgicos pueden construirse utilizando un solo tipo de compuerta, ya sea solo compuertas NAND o solo compuertas NOR. Observe como puede obtener las compuertas AND, OR y NOT: