Teoremas e Postulados da lgebra de Boole

Dupla negao .................................................................. A = A

Postulados

A.1 = A
A.0 = 0
A. A = A
A. A = 0

A +1 = 1
A+0 = A
A+ A = A
A+ A =1

Propriedade Comutativa ............................................. B + A = A + B

B. A = A.B
Propriedade Associativa ............................................. C ( B. A) = (C.B) A = C.B. A
C + ( B + A) = (C + B ) + A
Propriedade Distributiva ............................................ C ( B + A) = C.B + C. A
C + ( B. A) = (C.B) + (C. A)
( D + C ).( B + A) = D.B + D. A + C.B + C. A
Lei da Absoro ............................................................... A + A.B = A
A.( A + B) = A
Teoremas de DeMorgan .............................................. B + A = B. A
B. A = B + A
OR-Exclusico ..................................................................... A B = A.B + A.B

NOR-Exlusivo ................................................................... A B = A B = A.B + AB

Por fim ..................................................... A + AB = A + B