1

Simplificao de Expresses
Booleanas e Circuitos Lgicos
Margrit Reni Krug
Julho/2002
Tpicos
Reviso lgebra Booleana
Reviso portas lgicas
Circuitos lgicos
soma de produtos
produto de somas
Simplificao por postulado da lgebra
Simplificao por mapa de Karnaugh
2
lgebra Booleana
Variveis s podem assumir 1 entre 2
valores
Uso de tabelas (tabela verdade) para listar
combinaes de valores de entrada e os
correspondentes valores de sada
lgebra Booleana
Proposio todo enunciado que pode se
afirmar ser verdadeiro ou falso.
Exemplo
Amanh vai chover no constitui uma
proposio, pois existe mais de duas respostas
possiveis: Sim, Talvez e No
Lisboa a capital de Portugal uma proposio
3
Principios da lgebra Booleana
No contradio: uma proposio no pode
ser simultaneamente verdadeira e falsa
Terceiro excludo: uma proposio s pode
tomar um dos dois valores possveis, ou
verdadeira ou falsa, no sendo possvel
terceira hiptese.
lgebra Booleana
Operaes Bsicas
OU - Adio Lgica F = X + Y
X Y
0 0
0 1
1 0
1 1
F
0
1
1
1
4
lgebra Booleana
Operaes Bsicas
E - Multiplicao Lgica F = X . Y
X Y
0 0
0 1
1 0
1 1
F
0
0
0
1
lgebra Booleana
Operaes Bsicas
No - Complemento (Negao) F = X ou F = X
X
0
1
F
1
0
5
Tabela Verdade
Cada entrada = 1 coluna
Cada sada = 1 coluna
Combinaes de valores que entradas
podem assumir = 2
n
, onde n =quantidade de
variveis de entrada
Tabela Verdade
S = A + B . C
A B C
0 0 0
0 0 1
0 1 0
0 1 1
1 0 0
1 0 1
1 1 0
1 1 1
S
0
0
1
0
1
1
1
1
6
Portas Lgicas
Porta AND (Funo Multiplicao Lgica (E))
F
A
B
F = A . B
Portas Lgicas
Portas lgicas so dispositivos ou circuitos
lgicos que operam um ou mais sinais
lgicos de entrada para produzir uma e
somente uma sada, a qual dependente da
funo implementada no circuito.
7
Portas Lgicas
Um computador constitudo por uma
infinidade de circuitos lgicos, que
executam as seguintes funes bsicas:
a.realizam operaes matemticas
b.controlam o fluxo dos sinais
c.armazenam dados
Portas Lgicas
Naturalmente, a cada operao lgica
estudada na lgebra de Boole est
associada a respectiva porta lgica.
8
Portas Lgicas
Porta OR (Funo Adio Lgica (OU))
F
A
B
F = A + B
Portas Lgicas
Porta NOT (Funo Negao Lgica (Complemento))
F = A
A
A
9
Circuitos Lgicos
Representao
Produto de Somas
lista todas as combinaes das variveis de entrada
para as quais a funo de sada vale 0
Soma de Produtos
lista todas as combinaes das variveis de entrada
para as quais a funo de sada vale 1
Definio de uma funo booleana atravs de uma tabela-verdade
Expresso algbrica da funo
Soma de Produtos
Mintermo = termo-produto no qual cada varivel aparece exatamente 1
vez, complementada (se bit da tabela = 0) ou no (se bit da tabela = 1)
X Y Z
0 0 0
0 0 1
0 1 0
0 1 1
1 0 0
1 0 1
1 1 0
1 1 1
Termo-produto
XYZ
XYZ
XYZ
XYZ
XYZ
XYZ
XYZ
XYZ
mintermo
m0
m1
m2
m3
m4
m5
m6
m7
10
Produto de Somas
Maxtermo = termo-soma no qual cada varivel aparece exatamente 1 vez,
complementada (se bit da tabela = 1) ou no (se bit da tabela = 0)
X Y Z
0 0 0
0 0 1
0 1 0
0 1 1
1 0 0
1 0 1
1 1 0
1 1 1
Termo-soma
X + Y + Z
X + Y + Z
X + Y + Z
X + Y + Z
X + Y + Z
X + Y + Z
X + Y + Z
X + Y + Z
maxtermo
M0
M1
M2
M3
M4
M5
M6
M7
Notaes
X Y Z
0 0 0
0 0 1
0 1 0
0 1 1
1 0 0
1 0 1
1 1 0
1 1 1
F
1
0
1
0
0
1
0
1
F = XYZ + XYZ + XYZ + XYZ = m0 + m2 + m5 + m7 = m (0,2,5,7)
Soma de Produtos
Produto de Somas
F = (X + Y + Z) (X + Y + Z) (X + Y + Z) (X + Y + Z) = M1 . M3 . M4 . M6 = M(1,3,4,6)
11
Simplificao de Expresses
Booleanas
Usada para economizar componentes, tornar
o circuito mais rpido, mais simples de
fabricar e de manutenir, alm de diminuir
seu tamanho.
Tipos:
Postulados da lgebra Booleana
Mapas de Karnaugh
Postulados da lgebra Booleana
Identidades Booleanas
A + 0 = A 1 A . 0 = 0 5 A = A 9
A + 1 = 1 2 A . 1 = A 6
A + A = 1 3 A . A = 0 7
A + A = A 4 A . A = A 8
Propriedade Comutativa
A + B = B + A 10 A . B = B . A 11
12
Postulados da lgebra Booleana
Propriedade Associativa
(A + B) + C = A + (B + C) 12 (A. B) . C = (B. C) . A 13
Propriedade Distributiva
A . (B + C) = A . B + A . C 14
Teorema de De Morgan
A . B... = A + B + ... A + B + ... = A . B ...
Expresses Auxiliares
A + A . B = A A + A . B = A + B A + A . B = A
A + A . B = A + B A + A . B = A + B A + A . B = A
A + A . B = A A + A . B = A + B
(A + B) . ( A + C ) = A + B . C
13
Simplificao pelos Postulados
da lgebra Booleana
C AB C B A BC A C B A F + + + =
C AB C B A C) C B( A F + + + =
C AB C B A B A F + + =
F= A B 1+ AB C+ ABC
Pela prop. (6),
A B1= A B
C+ C= 1 Pela prop. (4),
Pela prop. (14),

A (B+ C) = A B+ A C
Soma de Produtos
simplificada
Simplificao pelos Postulados
da lgebra Booleana
O termo poderia ter sido simplificado com o termo
C AB C B A BC A C B A F + + + =
ABC ABC
Utilizando a propriedade (3), que permite a seguinte
manipulao:
ABC= ABC+ ABC
14
Simplificao pelos Postulados
da lgebra Booleana
Soma de Produtos simplificada
(mnima, no caso)
F= ABC+ ABC+ ABC+ ABC+ ABC
Pela prop. (3),
ABC= ABC+ ABC

F= AB(C+ C) + ABC+ (A + A)BC
Pela prop. (14)
Pela prop. (4)
F= A B 1+ AB C+ 1 BC
Pela prop. (6)
F= AB+ ABC+ BC
Circuito Lgico
C AB C B A BC A C B A F + + + =
A
C
F
B
1o nvel 2o nvel
Complexidade:
4x3 + 1x4 = 16
Soma de mintermos Circuito com (lgica de ) 2 nveis
15
Circuito Lgico Expresso
Simplificada
C B C B A B A F + + =
Complexidade:
2x2 + 2X3 = 10
A
C
F
B
1o nvel 2o nvel
Soma de produtos
(simplificada)
Circuito com (lgica de ) 2 nveis
Simplificao por Mapa de
Karnaugh
Cada clula corresponde a um mintermo
Representa a funo como soma de produtos
Para 2 variveis
Y
XY
m0
XY
m2
XY
m3
XY
m1
X
0 1
0
1
Exemplo:
F = m(1,2,3) = XY + XY + XY
0
Y
X
0 1
0
1
1
1 1
Y
16
Simplificao por Mapa de
Karnaugh
Simplificao algbrica de
difcilautomatizao
Simplificao por mapa fornece uma
maneira visual para a simplificao
Baseia-se na identificao de produtos
vizinhos
Simplificao por Mapa de
Karnaugh
m0
m2 m3
m1
Y
X
0 1
0
1
regio onde X = 1
regio onde Y = 1
Junta-se 2
n
posies
2
0
= 1 2
3
= 8
2
1
= 2
2
2
= 4
17
Simplificao por Mapa de
Karnaugh
Mapa com 3 variveis
Concatenar bit da linha com bits da
coluna para identificar mintermo
m0 m1 m3
m6
m2
m4 m5 m7
00 01 11 10
0
1
YZ
X
Mintermos no seguem a ordem crescente => til para simplificao
2 clulas vizinhas (adjacentes): mintermos diferem por uma varivel
m5 e m7
XYZ XYZ
nica diferena Y
Simplificao por Mapa de
Karnaugh
Ateno para a vizinhana entre bordas
Regio com 2 clulas adjacentes termo com
2 literais...
m0
m4
m6
m2
m0 m1 m3
m6
m2
m4 m5 m7
00 01 11 10
0
1
YZ
X
18
Simplificao por Mapa de
Karnaugh
F = m(2,3,4,5)
Exemplo de simplificao
0 0 1
0
1
1 1 0
00 01 11 10
0
1
YZ
X
F = XY + XY
0 0 1
1
0
1 0 1
00 01 11 10
0
1
YZ
X
F = m(3,4,6,7)
F = YZ + XZ
Simplificao por Mapa de
Karnaugh
Mapa com 4 variveis
m0 m1 m3 m2
m6
m11
m15
m7
m9
m13
m5
m8
m12
m4
m14
m10
00 01 11 10
00
01
11
10
YZ WX
Notar adjacncias atravs das bordas
m0
m1 m9
m8
m4 m6
m2 m0
19
Simplificao por Mapa de
Karnaugh
Exemplo de simplificao
1 1
1
1
1
1
1
1
1
1
00 01 11 10
00
01
11
10
YZ
WX
1
WZ
XZ
F = Y + WZ + XZ
clula isolada
regio com 2 clulas
regio com 4 clulas
regio com 8 clulas
termo com 4 literais
termo com 3 literais
termo com 2 literais
termo com 1 literal
Y
Simplificao por Mapa de
Karnaugh
Mapas com mais de 4 variveis tornam-se
difceis de manipular
20
Dont Cares
Sada :no importa o valor da sada gerado
por determinada combinao de entradas
Entrada: indiferente o valor da entrada
para determinar um valor na sada
Funes com Sadas no
Especificadas
A B C D F
0 0 0 0 1
0 0 0 1 0
0 0 1 0 0
0 0 1 1 1
0 1 0 0 1
0 1 0 1 0
0 1 1 0 0
0 1 1 1 1
1 0 0 0 1
1 0 0 1 0
1 0 1 0 X
1 0 1 1 X
1 1 0 0 X
1 1 0 1 X
1 1 1 0 X
1 1 1 1 X
Valor da sada no precisa ser especificado
dont care = X
21
Simplificao com Dont Cares
1
1
X
X X X
X X
1
1
1
00 01 11 10
00
01
11
10
CD
AB
X pode ser 0 ou 1 => o que for mais conveniente para simplificar a funo
F = CD + CD