lgebra de BOOLE

Teoremas da lgebra de Boole Prof. Corradi www.corradi.junior.nom.br ATENO: A' significa NOT (A); B' significa NOT (B) Uma funo combinacional pode ser escrita de vrias maneiras, sem ser alterada, fazendo-se uso dos Teoremas da lgebra de Boole. Por exemplo: a) (A . B)' = A' + B'

b)

(A + B)' = A'. B'

Onde os smbolos "'" e "+" representam : A negao (NOT) e a funo (OR) respectivamente. Aqui se usou um teorema conhecido como Teorema de De Morgan. Os principais teoremas da lgebra Booleana so:

Ordem 1 2 3 4 5 6

Teoremas A + 0 = A A + 1 = 1 A + A = A A + A' = 1 A . 1 = A A . 0 = 0

Ordem 11 12 13 14 15 16 A . B

Teoremas + A . B' = A

(A + B) . (A + B') = A A + A' . B = A + B A . (A' + B) = A . B A + B . C = (A + B) . (A + C) A . (B + C) = A . B + A . C

7 8 9 10

A . A = A A . A' = 0 A + A . B = A A . ( A + B) = A

17 18 19 20

A . B + A' . C = (A + C) . (A' + B) (A + B) . (A' + C) = A . C + A' . B A . B + A' . C + B . C = A . B + A' . C (A + B) . (A' + C) . (B + C) = (A + B) . (A' + C)

Como qualquer prova de teorema, a cada passo em direo prova, voc tem que dizer o porqu do passo. Veja este exemplo (a prova do teorema 10): A . (A + B) = (pelo teorema 16) A . A + A . B = (teorema 7) A + A . B = (teorema 5)

A . 1 + A . B = (teorema 16) A . (1 + B) = (teorema A . 1 = (teorema A C.Q.D O que completa a prova. muito importante que voc exercite este tipo de problema, uma vez que so absolutamente importantes para o estudo de Circuitos Digitais Combinacionais. 5) 2)

Exerccios Resolvidos de Simplificao de funes lgicas: 1)

2)

3)

4)

5)

6)

7)

8)

9)

10)

11)

12)

13)

14)