Álgebra de Boole

Fundamentos
 Postulados
 Complementação

AA

 Adição
0A  A
1 A  1
AA A
A  A 1
 Postulados
 Multiplicação
0.A  0
1.A  A
A.A  A
A.A  0
 Propriedades
 Comutativa
A B  B A
A.B  B.A

 Associativa
A  (B  C)  ( A  B)  C
A.(B.C)  ( A.B).C
 Propriedades
 Distributiva

A.(B  C)  A.B  A.C

A  (B.C)  ( A  B).( A  C)
 Identidades

A  A.B  A.(1 B)  A.1  A

1

A  A.B  ( A
 A ).( A  B)  A  B
1
 Teoremas
 Teorema de De Morgan

A  B  A.B

A.B  A  B
 Identidades
 Ou-exclusivo

 Não-ou-exclusivo