Você está na página 1de 20

Sistemas Digitais

lgebra de Boole e Simplificao Lgica


Professor: Breno Ardes

Contedo Programtico
lgebra de Boole e Simplificao Lgica
Teoremas Booleanos
Simplificao Lgica utilizando lgebra de Boole
Teoremas de DeMorgan
Universalidades das Portas NAND e NOR
Simbologia Alternativa para Portas Lgicas
Mapa de Karnaugh (Mapa K)
Simplificao Lgica utilizando o Mapa K

lgebra de Boole

I) Axiomas e Postulados
AND

OR

NOT

00 = 0

0+0 = 0 0 = 1

01 = 0

0+1 = 1 1 = 0

11 = 1

1+1 = 1

II) Teoremas para uma varivel


2.
3.
4.
5.

1. A = A
A0 = 0
6.
A1 = A
7.
AA = A
8.
AA = 0
9.

A+0 = A
A+1 = 1
A+A = A
A+A = 1

lgebra de Boole

Utilizando a simbologia para demonstrar os teoremas de uma varivel.

lgebra de Boole

III) Teoremas para vrias variveis

Propriedades
Comutativa
A+B = B+A
AB = BA
Associativa
A+B+C = (A+B)+C = A+(B+C)
ABC = (AB) C = A(BC)
Distributiva
A(B+C) = AB + AC
(A+B) (C+D) = AC + AD + BC + BD

lgebra de Boole

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

11. A+AB = A

AA + AC + AB + BC

A(1+B)

A + AC + AB + BC

A1

A(1+C+B) + BC

A+BC
12. A(A+B) = A
AA + AB
A + AB (11)
A

lgebra de Boole
Teoremas de DeMorgan

I)

II)

lgebra de Boole

13. A + AB = A + B
14. AB + A C = (A+C) (A+B)

Universalidade das portas NAND e NOR

Portas NAND utilizadas para implementar funes lgicas elementares.

Universalidade das portas NAND e NOR

Portas NOR utilizadas para implementar funes lgicas elementares.

Smbolos
Smbolo padro e alternativos para vrias portas.

Portas Lgicas
Interpretao dos dois smbolos para porta NAND

Portas Lgicas
Interpretao dos dois smbolos para porta OR.

Mapa de Karnaugh

Os mapas de Karnaugh (Mapa K) so utilizados para simplificao de


expresses booleanas dos circuitos lgicos.
Embora seja valido para qualquer nmero de variveis de entrada, o mtodo
prtico para no mximo 5 variveis.
Procedimento:
1) Construo do mapa de Karnaugh a partir da tabela verdade.
2) Formao de grupos de 1s (ou 0s).

Agrupar o maior nmero possvel de elementos 1 em potencia de 2,


ou seja, grupos de 1, 2, 4, 8...

Formar o menor nmero possvel de agrupamentos (retangulares


apenas).

3) Formao da expresso booleana simplificada.

Para cada grupo formado haver um termo na expresso.

Cada agrupamento simplificado pela eliminao das variveis que


trocam de valor no grupo.

Tabela verdade e o
Mapa K para 2 ,3 e 4
variveis.

Mapa K
Exemplo de agrupamentos de pares de 1s.

Mapa K
Exemplo de agrupamento de quatro 1s.

Mapa K
Exemplo de agrupamento de oito 1s.

Mapa K

Condies de irrelevncia podem ser alteradas para 0 ou 1 de forma a gerar


agrupamentos no mapa K que produzam a expresso mais simples.

Referncias Bibliogrficas
BIBLIOGRAFIA BSICA:

Tocci, R. J.; Widmer, N. S.; Moss, G. L.; Sistemas Digitais,


Principios e Aplicaes. Editora Prentice Hall do Brasil, 10 edio.

BIBLIOGRAFIA COMPLEMENTAR:
Floyd, T. L; Sistemas Digitais, Fundamentos e Aplicaes. Editora
Bookman (Artmed), 9 edio, 2007.
Capuano, F. G., Idoeta, I. V. Elementos de eletrnica digital. Editora
rica. 40 edio.
Tocci, R. J.; Widmer, N. S.; Moss. Sistemas Digitais, Principios e
Aplicaes. Editora Pearson Education, 8 edio, 2003.