lgebra de Boole, en informtica y matemtica es una estructura algebraica que esquematiza las operaciones lgicas AND, OR, XOR,

NOT. Para electronica digital es una herramienta de simplificacion para funciones logicas.

Teorema 1: Teorema 2: Teorema 3: Teorema 4: Teorema 5: Teorema 6: Teorema 7: Teorema 8: Teorema 9: Teorema 10: Teorema 11: Teorema 12:

A+A=A AA=A A+0=A A1=A A0=0 A+1=1 A+AB=A A (A + B) = A A' (A + B') = A'B' AB + AB' = A A + A' = 1 A A' = 0

 Conmutativa suma: Conmutativa producto: Asociativa suma: Asociativa producto: Distributiva :

Identidad : Identidad del producto: Complemento en suma: Complemento producto:

x+y=y+x xy = yx (x + y) + z = x + (y +z) (xy)z = x(yz) (x +y)z = xz + yz (xy) + z = (x + z)( y + z) x+0=x x1 = x x + x' = 1 xx' = 0

 Leyes DeMorgan

(A + B)' = A' B (A B)' = A' + B'

 Una funcin booleana es una combinacion de variables de entrada que determina una funcion logica.
Numero A B C Funcion 0 1 2 3 4 5 0 0 0 0 0 1 0 1 0 0 1 1 1 0 0 1 0 1 0 1 1 0 1 0

6
7

1 1 0
1 1 1

0
1

PARA SIMPLIFICACION DE FUNCIONES

 Herramienta para la canonizacin de funciones