Edgar Macas En el lgebra de Boole se cumplen las siguientes Leyes: 1) Conmutatividad: X+Y=Y+X XY=YX 2) Asociativa: X + (Y + Z) = (X + Y ) + Z X (Y Z) = (X Y ) Z 3) Distributiva: X + (Y Z) = (X + Y ) (X + Z) X (Y + Z) = (X Y ) + (X Z) 4) Elementos Neutros

s Neutros (Identidad): X+0=X X1=X 5) Complemento: X+X=1 XX=0 6) Dominacin: X+1=1X0=0 Demostracin: X + 1 = (X + 1) 1 = (X + 1) (X + X) (X + 1) (X + X) = X + (1 X) = 1 7) Idempotencia: X+X=X XX=X 8) Doble complemento: X=X . AB=A+B A+B=AB Luego se establecen los siguientes Teoremas: Teorema de la Simplificacin A+AB=A+B A (A + B) = A B Demostracin! A A = 0 AA+B=B (A + B) (A + B) = B A (A + B) (A + B) = A B A (A + B) = A B Teorema del complemento nico Suponemos 2 complementos para A (A1 y A2) A + A1 = 1 A + A2 = 1 A A1 = 0 A A2 = 0 Luego, A1 = A1 1 = A1 (A + A2) = A1 A + A1 A2 A1 = 0 + A2 A1 A1 = A A2 + A1 A2 = (A + A1) A2 A1 = 1 A2 = A2 9) Absorcin: X+XY=X X (Y + X) = X Demostracin: X + X Y = (X 1) + (X Y ) = X (1 + Y ) = X 10) DeMorgan:

Edgar Macas NOT AND OR NAND NOR XAND XOR

F(X1) = X1 F(X1,X2) = X1 X2 F(X1,X2) = X1 + X2 F(X1,X2) = X1 X2 = X1 + X2 F(X1,X2) = X1 + X2 = X1 X2 F(X1,X2) = X1 X2 + X1 X2 F(X1,X2) = X1 X2 + X1 X2