Campus So Jos CST em Sistemas de Telecomunicaes Eletrnica Digital

2.
2.1 Introduo

lgebra de Booleana

Como j visto pode-se obter a tabela da verdade a partir de uma expresso booleana. Entretanto, de especial interesse encontrar a expresso booleana que produz a mesma tabela da verdade com a menor complexidade possvel (mais simples possvel). Pois, desta forma tambm possvel implementar o circuito lgico que produz a referida tabela da verdade com um reduzido nmero de portas (economia de circuitos). Prova: Ex.: Y = A . B + A . B Y = A. A B A.B A . B Y 0 0 0 0 0 0 1 0 0 0 1 0 0 1 1 1 1 1 0 1 Neste captulo sero abordadas as tcnicas empregadas para a simplificao de expresses booleanas e, consequentemente, dos circuitos lgicos, a saber: a fatorao e os mapas de Karnaugh.

2.2

Fatorao

Esta tcnica utiliza os postulados, propriedades, teoremas e identidades da lgebra de boole, para realizar as simplificaes.

1..2.1 Postulados 1..2.1.1 Postulado da Complementao

Tambm valida a seguinte identidade:

Varivel A A o complemento de A. Se A = 1 A = 0 Se A = 0 A = 1

A = A Se A = 1 ( A ) = 0 ( A ) = 1
Se A = 0 ( A ) =1 ( A ) = 0

1..2.1.2

Postulado da Adio

um postulado que mostra como so as Atravs deste postulado podem ser regras da adio. estabelecidas as seguintes igualdades: 1 - A + 0 = A 0+0=0 2 - A + 1 = 1 0+1=1 3 - A + A = A 1+0=1 4 - A + A = 1 1+1=1 A porta lgica OU a porta que realiza o postulado da adio.

1..2.1.3

Postulado da Multiplicao

um postulado que mostra como so as Atravs deste postulado podem ser regras da multiplicao booleana. estabelecidas as seguintes identidades: 1 - A . 0 = 0 0.0=0 2 - A . 1 = A 0.1=0 3 - A . A = A 1.0=0 4 - A . A = 0 1.1=1 A porta lgica E a porta que realiza o postulado da multiplicao.

1..2.1.4

Teorema da Dualidade

Este teorema permite que se derive uma expresso booleana a partir de outra expresso. Para tanto, basta substituir a operao . pela operao + e vice-versa, o 0 por 1 e o 1 por 0. O teorema da dualidade vlido para qualquer expresso booleana. interessante notar a dualidade existente entre as identidades produzidas pelos postulados da adio e multiplicao. Ou seja, uma identidade de adio pode ser obtida a partir de uma identidade de multiplicao e vice-versa. Assim, conclui-se que as portas E e OU so duais.

1..2.2 Propriedades 1..2.2.1

A A A A

Comutativa

Adio: +B=B+A Multiplicao: .B=B.A

1..2.2.2

Associativa

Adio: + B + C = A + (B + C) = (A + B) + C Multiplicao: . B . C = A . (B . C) = (A . B) . C

1..2.2.3

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

Distributiva

1..2.3 Teoremas de De Morgan

1 Teorema
A .B = A + B

Tarefa: Provar a igualdade atravs da tabela da verdade.

Equivalncia de blocos lgicos.

A .B = A .B = A + B Generalizando: A . B .C .... N = A + B + C +...+ N

2 Teorema Pode ser obtido atravs do princpio da dualidade. A + B = A .B Tarefa: Provar a igualdade atravs da tabela da verdade. Equivalncia de blocos lgicos:

A + B = A + B = A .B Generalizando: A + B + C +...+ N = A . B .C ..... N 2

1..2.4 Quadro Resumo

1..2.5 Identidades Auxiliares:

Abaixo so mostradas algumas relaes booleanas e suas duais: PROVE !!!!!!

A + A.B = A b) A + A . B = A + B c) ( A + B ). ( A + C ) = A + B .C
a) d) e) f) g) h)

(A + B ). (A + B ) = A 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 )

Exerccio : Desenhe o circuito lgico para as seguintes expresses: a) S = ABC + ABC

__ __ __

b) S = (A + B + C) (A + B + C)
3

Continuando o exerccio, utilize a lgebra de Boole para simplificar as equaes e desenhe novamente o circuito lgico correspondente.

Exerccios: Simplifique as seguintes funes Lgicas, utilizando lgebra de boole. 1. Y 2. Y 3. Y 4. Y

= A . B + A . B .............................................................................................A = A . B + A . B ............................................................................................ A = A . B .C + A . B .C + A . B .C ..............................................................A.(B+C) = A . B .C + A . B .C + A . B .C + A . B .C + A . B .C ................................... A . B + C 5. Y = ( A + B + C ).( A + B + C ) ...................................................... A . B + A . B + C

6. Y = ( A .C + B + D ) + C .( A .C . D ) ....................................................... C .( A + D ) 7. Y = D + D . A + B .C .............................................................................. D . B .C 8. Y = A . B + A . B .C ..................................................................................A.B+C 9. Y = A . B .C + A . B .C + A . B .C ..............................................................A.(B+C) 10. 11. 12. 13. 14. 15. 16. 17. 18. 19. 20. 21. 22. 23. 24. 25. 26. 27.

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

A + B +C
A.B.C 1 A

= A . B .C + A . B .C + A . B .C + A . B .C + A . B .C (sem simplificao) = A . B .C + A . B .C + A . B .C + A . B .C = A . B .C + A . B .C + A . B .C + A . B .C A D .(B + C ) = A . B .C . D + A . B .C . D + A . B .C . D + A . B .C . D + A . B .C . D + A . B .C . D

B(A+C) A

A .C + A . B .C A A .B + C A .B + A .B + C B + A .C

Y = B .[ A . B .C + A . B .C + B .( A + B .C )] Y = A + B.[ C + D + A. ( B + D)] Y = {D.[ B. ( A. C + C. D)].[ B. ( A + A. C )]} Y = A + B.[ C + ( A. B + A. C )] Y = {[ A. ( B + C )]. D}. ( A + B) Y = A. B. C. D + A. B. C. D + A. B. C. D + A. B. C. D

D + A. B + A. C + B. C + C. D A + B. C A. B. D A. B. C. D