Algebra de boole o booleana

Algebra de boole
UN LGEBRA DE BOOLE ES UN
SISTEMA DE ELEMENTOS B={0,1} Y
LOS OPERADORES BINARIOS () y (+) y
() DEFINIDOS DE LA SIGUIENTE
FORMA
 Teoremas del lgebra de Boole (I)

Teorema 1: Ley interna

El resultado de aplicar cualquiera de las tres operaciones del
lgebra de Boole a variables booleanas es otra nueva variable
booleana y el resultado es nico.
Teorema 2: Ley de idempotencia
A+A=A
AA=A
Teorema 3: Ley de involucin

AA
Teorema 4: Ley conmutativa
Respecto de la suma: A+B=B+A
Respecto del producto: AB= BA
 Teoremas del lgebra de Boole (II)

Teorema 5: Ley asociativa

Respecto de la suma: A+(B+C)=(A+B)+C=A+B+C
Respecto del producto: A(BC)=(AB)C=ABC
Teorema 6: Ley distributiva
Respecto de la suma: A+BC= (A+B)(A+C)
Respecto del producto: A(B+C)=AB+AC
Teorema 7: Ley de absorcin
A+AB=A
A(A+B)=A
 Teoremas del lgebra de Boole (III)

Teorema 8: Leyes de Morgan

A B AB
AB A B
Leyes de Morgan aplicadas a n variables:
A B C ... A B C ....
A B C ... A B C ...
Teorema 9: Ley de Morgan generalizada (aplicada a funciones)

f(A,B, C,...,,) f(A, B, C,...,,)

Teorema 10:

f(A,B, C,...) A f(1,B, C,...) A f(0, B, C,...)