Algebra de Boole

http://endigital.orgfree.com/goodbit/Boole.htm

Teoremas da lgebra de Boole

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 usou-se um teorema conhecido como Teorema de De Morgan. Os principais teoremas da lgebra Booleana so:

Ordem 1 2 3 4 5 6 7 8 9 10

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

Ordem 11 12 13 14 15 16 17 18 19 A . B + A . B' = A

Teoremas (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 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)

A . ( A + B) = A 20

Como qualquer prova de teorema, a cada passo em direo prova, voc tem que dizer o

1 de 6

4/7/2010 12:50

Algebra de Boole

http://endigital.orgfree.com/goodbit/Boole.htm

porque 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 2) A.1 = (teorema 5) 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.

Exerccios Resolvidos de Simplificao de funes lgicas :

1)

2)

2 de 6

4/7/2010 12:50

Algebra de Boole

http://endigital.orgfree.com/goodbit/Boole.htm

3)

4)

5)

6)

3 de 6

4/7/2010 12:50

Algebra de Boole

http://endigital.orgfree.com/goodbit/Boole.htm

7)

8)

9)

10)

11)

4 de 6

4/7/2010 12:50

Algebra de Boole

http://endigital.orgfree.com/goodbit/Boole.htm

12)

13)

14)

5 de 6

4/7/2010 12:50

Algebra de Boole

http://endigital.orgfree.com/goodbit/Boole.htm

Tcnica Soma de Produtos e Tcnica Produto de Somas

6 de 6

4/7/2010 12:50