Teoremas e Postulados da Álgebra de Boole

Dupla negação .................................................................. A = A

Postulados
A.1 = A A +1 = 1
A.0 = 0 A+0 = A
A. A = A A+ A = A
A. A = 0 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 Absorção ............................................................... 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