Álgebra Booleana

Prof. Thomaz Rodrigues Botelho

Sistemas Digitais

1 Precedência 5.2 Teorema 2

• E tem precedência sobre OU. • A+1=1

• Parênteses podem ser usados para forçar precedên- • A·0=0

cia.
5.3 Teorema 3
2 Propriedade Associativa • 0=1

• A + (B + C) = (A + B) + C • 1=0

• A · (B · C) = (A · B) · C
5.4 Teorema 4
• A+A=A
3 Postulados
• A·A=A
3.1 P1 - OU e E comutativos
• A+B =B+A 5.5 Teorema 5
• A·B =B·A • A=A

3.2 P2 - OU e E distributivos 5.6 Teorema 6

• A + (B · C) = (A + B) · (A + C) • A+A·B =A

• A · (B + C) = (A · B) + (A · C) • A · (A + B) = A

3.3 P3 - Identidade 5.7 Teorema 7

• A+0=0+A=A • A+A·B =A+B

• 1·A=A·1=A • A · (A + B) = A.B

3.4 P4 - Elemento Complementar 5.8 Teorema de De Morgan

• A+A=1 • (A + B) = A · B

• A·A=0 • (A · B) = A + B

4 Dualidade
Toda Identidade algébrica dedutível dos postulados
permanece válida se:
• + for trocado por · e vice-versa.
• 0 for trocado por 1 e vice-versa.

5 Teoremas
5.1 Teorema 1
Todo Elemento tem um único complemento.