Aula5 Algebra Boole

Aula 5: determinao e simplificao de
expresses lgicas
Circuitos Digitais
Rodrigo Hausen
CMCC UFABC
4 e 6 de Fev. de 2013
http://compscinet.org/circuitos
Rodrigo Hausen (CMCC UFABC) Aula 5: determinao e simplificao de expresses

4 e 6 delgicas
Fev. de 2013
1 / 21
Aula passada: lgebra booleana
lgebra booleana [Boole, 1854]

lgebra onde h apenas dois valores vlidos: falso e verdadeiro.
Tambm denotados:
I
I
I
I
F e V;
false e true (ou F e T);
desligado e ligado;
0 e 1, etc.

4 e 6 delgicas
Fev. de 2013
2 / 21
Aula passada: operaes

Operaes
conjuno (e, and): X Y
disjuno (ou, or: X + Y
negao (no, not: X
disjuno exclusiva (ou-ex, xor): X Y = X Y + X Y
Tabelas verdade.
Tabela verdade
da conjuno (e)
X
0
0
1
1
Y
0
1
0
1
X Y
0
0
0
1
Tabela verdade da
disjuno (ou)
X
0
0
1
1
Y
0
1
0
1
X +Y
0
1
1
1
Tabela verdade da
negao (no)
X
0
1
X
1
0

4 e 6 delgicas
Fev. de 2013
3 / 21
Aula passada: expresses e funes lgicas
Expresses lgicas:
I
1 + (0 1)
X Y +X Y
A+BC +AC +B
Funes lgicas: dadas por uma expresso ou tabela verdade
X
0
0
1
1
Y
0
1
0
1
F (X ,Y )
0
1
0
1
F (X ,Y ) = X Y + X Y

4 e 6 delgicas
Fev. de 2013
4 / 21
Aula passada: regras bsicas

1. X + 0 = X
2. X + 1 = 1
3. X + Y = Y + X
elem. neutro da disjuno
4. X Y = Y X
comutatividade da disjuno
5. X + X = X
6. X + X = 1
8. X 1 = X
9. X X = X
comutatividade da conjuno
7. X 0 = 0
elem. neutro da conjuno
10. X X = 0
11. X X = 0
12. X + (Y + Z ) = (X + Y ) + Z
13. X (Y Z ) = (X Y )Z
associatividade da disjuno
associatividade da conjuno
14. X (Y + Z ) = X Y + X Z
distributividade da conjuno
Leis de Morgan (ou Leis de DeMorgan)

15. X + Y = X Y
16. X Y = X + Y

4 e 6 delgicas
Fev. de 2013
5 / 21
Um problema meteorolgico
Exemplo 1: O tempo para o dia seguinte na cidade de Booleville bem
regular e fcil de prever. O meteorologista da cidade criou uma tabela para
prever se haver chuva no dia seguinte (representada pela varivel C ) a
partir de quatro variveis cujo valor depende das condies meteorolgicas
do dia anterior.
V se est ventando
F se faz frio
U se est mido
N se est nublado
As quatro variveis so medidas pelo meteorologista e ele atribui um valor
0 (falso) ou 1 (verdadeiro) para cada uma delas.

4 e 6 delgicas
Fev. de 2013
6 / 21
Um problema meteorolgico
Exemplo 1: O tempo para o dia seguinte na cidade de Booleville bem
regular e fcil de prever. O meteorologista da cidade criou uma tabela para
prever se haver chuva no dia seguinte (representada pela varivel C ) a
partir de quatro variveis cujo valor depende das condies meteorolgicas
do dia anterior.
V se est ventando
F se faz frio
U se est mido
N se est nublado
As quatro variveis so medidas pelo meteorologista e ele atribui um valor
0 (falso) ou 1 (verdadeiro) para cada uma delas.
Ou seja, C funo booleana de V , F , U e N:
C = C (V ,F ,U,N)
4 e 6 delgicas
Fev. de 2013
6 / 21
De tabela verdade para expresso lgica

Previso do tempo em Booleville: C (chuva amanh) funo lgica de
V (vento hoje), F (frio hoje), U (dia mido hoje) e N (nublado hoje).
V
0
0
0
0
0
0
0
0
F
0
0
0
0
1
1
1
1
U
0
0
1
1
0
0
1
1
N
0
1
0
1
0
1
0
1
C
0
0
0
1
0
1
1
1
V
1
1
1
1
1
1
1
1
F
0
0
0
0
1
1
1
1
U
0
0
1
1
0
0
1
1
N
0
1
0
1
0
1
0
1
C
0
1
1
0
0
0
1
1

4 e 6 delgicas
Fev. de 2013
7 / 21

V
0
0
0
0
0
0
0
0
F
0
0
0
0
1
1
1
1
U
0
0
1
1
0
0
1
1
N
0
1
0
1
0
1
0
1
C
0
0
0
1 V F U N
0
1
1
1
V
1
1
1
1
1
1
1
1
F
0
0
0
0
1
1
1
1
U
0
0
1
1
0
0
1
1
N
0
1
0
1
0
1
0
1
C
0
1
1
0
0
0
1
1

4 e 6 delgicas
Fev. de 2013
7 / 21

V
0
0
0
0
0
0
0
0
F
0
0
0
0
1
1
1
1
U
0
0
1
1
0
0
1
1
N
0
1
0
1
0
1
0
1
C
0
0
0
1 V F U N
0
1 V F U N
1
1
V
1
1
1
1
1
1
1
1
F
0
0
0
0
1
1
1
1
U
0
0
1
1
0
0
1
1
N
0
1
0
1
0
1
0
1
C
0
1
1
0
0
0
1
1

4 e 6 delgicas
Fev. de 2013
7 / 21

V
0
0
0
0
0
0
0
0
F
0
0
0
0
1
1
1
1
U
0
0
1
1
0
0
1
1
N
0
1
0
1
0
1
0
1
C
0
0
0
1 V F U N
0
1 V F U N
1 V F U N
1
V
1
1
1
1
1
1
1
1
F
0
0
0
0
1
1
1
1
U
0
0
1
1
0
0
1
1
N
0
1
0
1
0
1
0
1
C
0
1
1
0
0
0
1
1

4 e 6 delgicas
Fev. de 2013
7 / 21

V
0
0
0
0
0
0
0
0
F
0
0
0
0
1
1
1
1
U
0
0
1
1
0
0
1
1
N
0
1
0
1
0
1
0
1
C
0
0
0
1
0
1
1
1
V F U N
V F U N
V F U N
V F U N
V
1
1
1
1
1
1
1
1
F
0
0
0
0
1
1
1
1
U
0
0
1
1
0
0
1
1
N
0
1
0
1
0
1
0
1
C
0
1
1
0
0
0
1
1
V F U N
V F U N
V F U N
V F U N

4 e 6 delgicas
Fev. de 2013
7 / 21

V
0
0
0
0
0
0
0
0
F
0
0
0
0
1
1
1
1
U
0
0
1
1
0
0
1
1
N
0
1
0
1
0
1
0
1
C
0
0
0
1
0
1
1
1
V F U N
V F U N
V F U N
V F U N
V
1
1
1
1
1
1
1
1
F
0
0
0
0
1
1
1
1
U
0
0
1
1
0
0
1
1
N
0
1
0
1
0
1
0
1
C
0
1
1
0
0
0
1
1
V F U N
V F U N
V F U N
V F U N
C (V ,F ,U,N) = V F U N +

4 e 6 delgicas
Fev. de 2013
7 / 21

V
0
0
0
0
0
0
0
0
F
0
0
0
0
1
1
1
1
U
0
0
1
1
0
0
1
1
N
0
1
0
1
0
1
0
1
C
0
0
0
1
0
1
1
1
V F U N
V F U N
V F U N
V F U N
V
1
1
1
1
1
1
1
1
F
0
0
0
0
1
1
1
1
U
0
0
1
1
0
0
1
1
N
0
1
0
1
0
1
0
1
C
0
1
1
0
0
0
1
1
V F U N
V F U N
V F U N
V F U N
C (V ,F ,U,N) = V F U N + V F U N +

4 e 6 delgicas
Fev. de 2013
7 / 21

V
0
0
0
0
0
0
0
0
F
0
0
0
0
1
1
1
1
U
0
0
1
1
0
0
1
1
N
0
1
0
1
0
1
0
1
C
0
0
0
1
0
1
1
1
V F U N
V F U N
V F U N
V F U N
V
1
1
1
1
1
1
1
1
F
0
0
0
0
1
1
1
1
U
0
0
1
1
0
0
1
1
N
0
1
0
1
0
1
0
1
C
0
1
1
0
0
0
1
1
V F U N
V F U N
V F U N
V F U N
C (V ,F ,U,N) = V F U N + V F U N + V F U N +

4 e 6 delgicas
Fev. de 2013
7 / 21

V
0
0
0
0
0
0
0
0
F
0
0
0
0
1
1
1
1
U
0
0
1
1
0
0
1
1
N
0
1
0
1
0
1
0
1
C
0
0
0
1
0
1
1
1
V F U N
V F U N
V F U N
V F U N
V
1
1
1
1
1
1
1
1
F
0
0
0
0
1
1
1
1
U
0
0
1
1
0
0
1
1
N
0
1
0
1
0
1
0
1
C
0
1
1
0
0
0
1
1
V F U N
V F U N
V F U N
V F U N
C (V ,F ,U,N) = V F U N + V F U N + V F U N + V F U N +

4 e 6 delgicas
Fev. de 2013
7 / 21

V
0
0
0
0
0
0
0
0
F
0
0
0
0
1
1
1
1
U
0
0
1
1
0
0
1
1
N
0
1
0
1
0
1
0
1
C
0
0
0
1
0
1
1
1
V F U N
V F U N
V F U N
V F U N
V
1
1
1
1
1
1
1
1
F
0
0
0
0
1
1
1
1
U
0
0
1
1
0
0
1
1
N
0
1
0
1
0
1
0
1
C
0
1
1
0
0
0
1
1
V F U N
V F U N
V F U N
V F U N
+ V F U N + V F U N + V F U N + V F U N

4 e 6 delgicas
Fev. de 2013
7 / 21

Para facilitar a escrita, quando escrevemos uma conjuno, podemos
considerar que o sinal est implcito, como fazemos na lgebra comum.
+ V F UN +V F UN +V F UN +V F UN

4 e 6 delgicas
Fev. de 2013
8 / 21

Vamos simplificar essa expresso. Colocando em evidncia:
C (V ,F ,U,N) = V N (F U + F U) + V F U (N + N) +
+ V F (U N + U N) + V F N (U + U)

4 e 6 delgicas
Fev. de 2013
8 / 21

+ V F (U N + U N) + V F N (U + U)
Usando a definio do xor X Y = X Y + X Y e as regras X + X = 1 e
X 1 = X:
C (V ,F ,U,N) = V N (F U) + V F U + V F (U N) + V F N

4 e 6 delgicas
Fev. de 2013
8 / 21

+ V F (U N + U N) + V F N (U + U)
Usando a definio do xor X Y = X Y + X Y e as regras X + X = 1 e
X 1 = X:
C (V ,F ,U,N) = V N (F U) + V F U + V F (U N) + V F N
Poderamos continuar a simplificao. Note que nem sempre fcil
simplificar, e que outras expresses (equivalentes) so possveis.
4 e 6 delgicas
Fev. de 2013
8 / 21
Observaes sobre funes

Procedimento para transformar a tabela verdade de uma funo
F (X1 , X2 , . . . , Xn ) em expresso lgica:
PARA CADA linha da tabela onde F (X1 , X2 , . . . , X
n) = 1
Xi se Xi = 1
escreva a conjuno Y1 Y2 . . . Yn onde Yi =
Xi se Xi = 0
faa a disjuno das conjunes obtidas

4 e 6 delgicas
Fev. de 2013
9 / 21

n) = 1
Xi se Xi = 1
Xi se Xi = 0
Cada uma das conjunes Y1 Y2 . . . Yn chamada produto de variveis lgicas ou
mintermo.
Note que o procedimento funciona para qualquer funo lgica e a expresso
obtida ter tabela verdade idntica da funo original.

4 e 6 delgicas
Fev. de 2013
9 / 21

n) = 1
Xi se Xi = 1
Xi se Xi = 0
mintermo.
Teorema. Toda funo lgica pode ser escrita como disjuno de mintermos
(tambm chamada soma de produtos SOP).
Portanto, toda funo lgica possui uma expresso que a define.

4 e 6 delgicas
Fev. de 2013
9 / 21

n) = 1
Xi se Xi = 1
Xi se Xi = 0
mintermo.
Teorema. Toda funo lgica pode ser escrita como disjuno de mintermos
(tambm chamada soma de produtos SOP).
Portanto, toda funo lgica possui uma expresso que a define.
A forma de soma de produtos uma forma padro de representao de
expresses booleanas. Outra forma padro o produto de somas.
4 e 6 delgicas
Fev. de 2013
9 / 21
Simplificao na forma soma-de-produtos

possvel simplificar a expresso obtida para C mantendo-a como
soma-de-produtos?
Observe que:
V F UN +V F UN +V F UN +V F UN

4 e 6 de Fev.
lgicas
de 2013
10 / 21

soma-de-produtos?
Observe que:
= F U [V N + V N + V N + V N]

4 e 6 de Fev.
lgicas
de 2013
10 / 21

soma-de-produtos?
Observe que:
= F U [V N + V N + V N + V N]
= F U [V (N + N) + V (N + N)]

4 e 6 de Fev.
lgicas
de 2013
10 / 21

soma-de-produtos?
Observe que:
= F U [V N + V N + V N + V N]
= F U [V (N + N) + V (N + N)]
= F U [V + V ]

4 e 6 de Fev.
lgicas
de 2013
10 / 21

soma-de-produtos?
Observe que:
= F U [V N + V N + V N + V N]
= F U [V (N + N) + V (N + N)]
= F U [V + V ]
= FU

4 e 6 de Fev.
lgicas
de 2013
10 / 21

soma-de-produtos?
Observe que:
= F U [V N + V N + V N + V N]
= F U [V (N + N) + V (N + N)]
= F U [V + V ]
= FU
Logo, temos uma expresso mais simples para C :
C =V F UN +V F UN +V F UN +V F UN +F U
Esta a menor expresso como soma-de-produtos?
4 e 6 de Fev.
lgicas
de 2013
10 / 21

Observe que, quando temos algo do tipo:
... + AB + AB + ...
em uma expresso na forma soma-de-produtos podemos colocar A em
evidncia:
. . . + A (B + B) + . . .
e simplificar por:
... + A + ...

4 e 6 de Fev.
lgicas
de 2013
11 / 21

... + AB + AB + ...
evidncia:
. . . + A (B + B) + . . .
e simplificar por:
... + A + ...
Problema: como encontrar dois mintermos idnticos a menos de uma
mesma varivel B, que aparece como B e B?

4 e 6 de Fev.
lgicas
de 2013
11 / 21

... + AB + AB + ...
evidncia:
. . . + A (B + B) + . . .
e simplificar por:
... + A + ...
Problema: como encontrar dois mintermos idnticos a menos de uma
mesma varivel B, que aparece como B e B?
Soluo: expresse a tabela verdade de forma que isso seja fcil de
encontrar!
4 e 6 de Fev.
lgicas
de 2013
11 / 21
Mapa de Karnaugh
Tabela
Verdade:
V
0
0
0
0
0
0
0
0
F
0
0
0
0
1
1
1
1
U
0
0
1
1
0
0
1
1
N
0
1
0
1
0
1
0
1
C
0
0
0
1
0
1
1
1
V
1
1
1
1
1
1
1
1
F
0
0
0
0
1
1
1
1
U
0
0
1
1
0
0
1
1
N
0
1
0
1
0
1
0
1
C
0
1
1
0
0
0
1
1

4 e 6 de Fev.
lgicas
de 2013
12 / 21
Mapa de Karnaugh
Tabela
Verdade:
V
0
0
0
0
0
0
0
0
F
0
0
0
0
1
1
1
1
U
0
0
1
1
0
0
1
1
N
0
1
0
1
0
1
0
1
Mapa de Karnaugh:
outra representao
para a tabela verdade
V
1
1
1
1
1
1
1
1
C
0
0
0
1
0
1
1
1
@UN
00
VF@
@
00 0
F
0
0
0
0
1
1
1
1
U
0
0
1
1
0
0
1
1
N
0
1
0
1
0
1
0
1
C
0
1
1
0
0
0
1
1
01
11
10
01
11
10

4 e 6 de Fev.
lgicas
de 2013
12 / 21
Mapa de Karnaugh
Representao em matriz para a tabela verade, onde em linhas ou
colunas adjacentes apenas uma varivel muda de 1 para 0 ou
vice-versa.
UN
00
01
11
10
00
01
11
10
VF
V F U N+

4 e 6 de Fev.
lgicas
de 2013
13 / 21
Mapa de Karnaugh
vice-versa.
UN
00
01
11
10
00
01
11
10
VF
V F U N+V F U N+

4 e 6 de Fev.
lgicas
de 2013
13 / 21
Mapa de Karnaugh
vice-versa.
UN
00
01
11
10
00
01
11
10
VF
V F U+

4 e 6 de Fev.
lgicas
de 2013
13 / 21
Mapa de Karnaugh
vice-versa.
UN
00
01
11
10
00
01
11
10
VF
V F U+V F U N+

4 e 6 de Fev.
lgicas
de 2013
13 / 21
Mapa de Karnaugh
vice-versa.
UN
00
01
11
10
00
01
11
10
VF
V F U+V F U N+V F U N +

4 e 6 de Fev.
lgicas
de 2013
13 / 21
Mapa de Karnaugh
vice-versa.
UN
00
01
11
10
00
01
11
10
VF
V F U+V F U +

4 e 6 de Fev.
lgicas
de 2013
13 / 21
Mapa de Karnaugh
vice-versa.
UN
00
01
11
10
00
01
11
10
VF
FU+

4 e 6 de Fev.
lgicas
de 2013
13 / 21
Mapa de Karnaugh
vice-versa.
UN
00
01
11
10
00
01
11
10
VF
F U + V F U N+

4 e 6 de Fev.
lgicas
de 2013
13 / 21
Mapa de Karnaugh
vice-versa.
UN
00
01
11
10
00
01
11
10
VF
F U + V F U N+V F U N +

4 e 6 de Fev.
lgicas
de 2013
13 / 21
Mapa de Karnaugh
vice-versa.
UN
00
01
11
10
00
01
11
10
VF
F U +V F N +

4 e 6 de Fev.
lgicas
de 2013
13 / 21
Mapa de Karnaugh
vice-versa.
UN
00
01
11
10
00
01
11
10
VF
F U +V F N +

4 e 6 de Fev.
lgicas
de 2013
13 / 21
Mapa de Karnaugh
vice-versa.
UN
00
01
11
10
00
01
11
10
VF
F U +V F N +V UN +

4 e 6 de Fev.
lgicas
de 2013
13 / 21
Mapa de Karnaugh
vice-versa.
UN
00
01
11
10
00
01
11
10
VF
F U +V F N +V UN +

4 e 6 de Fev.
lgicas
de 2013
13 / 21
Mapa de Karnaugh
vice-versa.
UN
00
01
11
10
00
01
11
10
VF
F U +V F N +V UN +V UN +

4 e 6 de Fev.
lgicas
de 2013
13 / 21
Mapa de Karnaugh
vice-versa.
UN
00
01
11
10
00
01
11
10
VF
F U +V F N +V UN +V UN +

4 e 6 de Fev.
lgicas
de 2013
13 / 21
Mapa de Karnaugh
vice-versa.
UN
00
01
11
10
00
01
11
10
VF
F U +V F N +V UN +V UN +V F UN

4 e 6 de Fev.
lgicas
de 2013
13 / 21
Mapa de Karnaugh
Exemplo 2: Simplifique
F (A,B,C ,D) = A B C D + A B C D + A B C D + A B C D +
+ AB C D + AB C D + AB C D + AB C D

4 e 6 de Fev.
lgicas
de 2013
14 / 21
Mapa de Karnaugh
CD
AB
00
01
11
10
00
01
11
10

4 e 6 de Fev.
lgicas
de 2013
14 / 21
Mapa de Karnaugh
CD
AB
00
01
11
10
00
01
11
10

4 e 6 de Fev.
lgicas
de 2013
14 / 21
Mapa de Karnaugh
CD
AB
00
01
11
10
00
01
11
10
F (A,B,C ,D) = A B + A B
4 e 6 de Fev.
lgicas
de 2013
14 / 21
Mapa de Karnaugh
CD
AB
00
01
11
10
00
01
11
10
F (A,B,C ,D) = A B + A B = (A + A) B
4 e 6 de Fev.
lgicas
de 2013
14 / 21
Mapa de Karnaugh
CD
AB
00
01
11
10
00
01
11
10
F (A,B,C ,D) = A B + A B = (A + A) B = B
4 e 6 de Fev.
lgicas
de 2013
14 / 21
Mapa de Karnaugh
CD
AB
00
01
11
10
00
01
11
10
F (A,B,C ,D) = A B + A B = (A + A) B = B
Ser que poderamos observar a ltima simplificao no mapa?
4 e 6 de Fev.
lgicas
de 2013
14 / 21
Mapa de Karnaugh
Como a exigncia que apenas uma varivel mude entre linhas/colunas
adjacentes, poderamos ter feito o mapa como:
CD
AB
00
01
11
10
00
10
11
01

4 e 6 de Fev.
lgicas
de 2013
15 / 21
Mapa de Karnaugh
CD
AB
00
01
11
10
00
10
11
01

4 e 6 de Fev.
lgicas
de 2013
15 / 21
Mapa de Karnaugh
CD
AB
00
01
11
10
00
10
11
01
A nica varivel que no mudou foi

4 e 6 de Fev.
lgicas
de 2013
15 / 21
Mapa de Karnaugh
CD
AB
00
01
11
10
00
10
11
01
A nica varivel que no mudou foi B, que permaneceu em 0

4 e 6 de Fev.
lgicas
de 2013
15 / 21
Mapa de Karnaugh
CD
AB
00
01
11
10
00
10
11
01
A nica varivel que no mudou foi B, que permaneceu em 0, portanto

F (A,B,C ,D) = B.

4 e 6 de Fev.
lgicas
de 2013
15 / 21
Mapa de Karnaugh
Podemos ver essa simplificao diretamente no mapa original, se
considerarmos que a ltima linha adjacente primeira linha, assim
como a ltima coluna adjacente primeira coluna.

4 e 6 de Fev.
lgicas
de 2013
16 / 21
Mapa de Karnaugh
CD
AB
00
01
11
10
00
01
11
10

4 e 6 de Fev.
lgicas
de 2013
16 / 21
Mapa de Karnaugh
CD
AB
00
01
11
10
00
01
11
10

4 e 6 de Fev.
lgicas
de 2013
16 / 21
Mapa de Karnaugh
CD
AB
00
01
11
10
00
01
11
10
F (A,B,C ,D) = B
4 e 6 de Fev.
lgicas
de 2013
16 / 21
Mapa de Karnaugh: como usar

Para at 4 variveis:
1. Expresse a tabela verdade como uma matriz, com no mximo duas
variveis para as linhas/colunas. Em linhas adjacentes, apenas uma das
variveis muda (o mesmo vale para as colunas).
Sugesto de rtulos para as linhas/colunas: 00, 01, 11, 10

4 e 6 de Fev.
lgicas
de 2013
17 / 21

Para at 4 variveis:
2. Enquanto houver uma clula contendo 1 que no tiver sido agrupada,

agrupe nesta ordem:
1 Retngulos com 16 uns (Obs.: se houver, ento F = 1)

4 e 6 de Fev.
lgicas
de 2013
17 / 21

Para at 4 variveis:

agrupe nesta ordem:
2 Retngulos com 8 uns (2x4 ou 4x2)

4 e 6 de Fev.
lgicas
de 2013
17 / 21

Para at 4 variveis:

agrupe nesta ordem:
3 Retngulos com 4 uns (1x4, 4x1 ou 2x2)

4 e 6 de Fev.
lgicas
de 2013
17 / 21

Para at 4 variveis:

agrupe nesta ordem:

4 e 6 de Fev.
lgicas
de 2013
17 / 21

Para at 4 variveis:

agrupe nesta ordem:
5 Retngulos com apenas 1 um

4 e 6 de Fev.
lgicas
de 2013
17 / 21

Para at 4 variveis:

agrupe nesta ordem:
Importante: a ltima linha/coluna adjacente primeira linha/coluna.

4 e 6 de Fev.
lgicas
de 2013
17 / 21

Para at 4 variveis:

agrupe nesta ordem:
3. Elimine grupos redundantes (se puder)

4 e 6 de Fev.
lgicas
de 2013
17 / 21

Para at 4 variveis:

agrupe nesta ordem:
3. Elimine grupos redundantes (se puder)
4. Para cada grupo, escreva uma soma de produtos onde apenas as variveis
que no mudaram so representadas. Importante: Se, no grupo, uma
varivel X mantida em 0, ento escreva X .
4 e 6 de Fev.
lgicas
de 2013
17 / 21
Mapa de Karnaugh: Exemplos
Exemplo 3: Simplifique F (A,B,C ,D),

cuja tabela verdade dada pelo mapa
de Karnaugh ao lado.
CD
AB
00
01
11
10
00
01
11
10

4 e 6 de Fev.
lgicas
de 2013
18 / 21

Resp.: F = A C + A B + A B D
CD
AB
00
01
11
10
00
01
11
10

4 e 6 de Fev.
lgicas
de 2013
18 / 21

CD
AB
00
01
11
10
00
01
11
10
Exemplo 4: Simplifique A B C + A B C + A B C + A B C

4 e 6 de Fev.
lgicas
de 2013
18 / 21

CD
AB
00
01
11
10
00
01
11
10

4 e 6 de Fev.
lgicas
de 2013
18 / 21

CD
AB
00
01
11
10
00
01
11
10
Exemplo 6: Simplifique A B C D + A B C D + A B C D + A B C D +
AB C D + AB C D + AB C D + AB C D
4 e 6 de Fev.
lgicas
de 2013
18 / 21
Mais de 4 variveis
possvel construir mapas de Karnaugh para mais de 4 variveis, mas eles se
tornam difceis de representar.

4 e 6 de Fev.
lgicas
de 2013
19 / 21
Mais de 4 variveis
Para 6 variveis, o mapa torna-se um cubo:
CD
AB
00
EF
01
11
10

4 e 6 de Fev.
lgicas
de 2013
19 / 21
Mais de 4 variveis
CD
AB
00
EF
01
11
10
Entre 4 e 30 (aprox.) variveis, possvel executar o mtodo de

Quine-McCluskey, que exato mas possui complexidade exponencial.

4 e 6 de Fev.
lgicas
de 2013
19 / 21
Mais de 4 variveis
CD
AB
00
EF
01
11
10
Entre 4 e 30 (aprox.) variveis, possvel executar o mtodo de

Quine-McCluskey, que exato mas possui complexidade exponencial.
Acima de 30 variveis, h o minimizador Espresso, baseado em mtodos
heursticos (no exato).
4 e 6 de Fev.
lgicas
de 2013
19 / 21
Concluso
O mapa de Karnaugh um mtodo de representar a tabela verdade de
uma funo lgica de tal modo que os termos de uma soma-de-produtos
que podem ser simplificados esto sempre adjacentes.
Importante: Recomenda-se colocar as linhas/colunas nesta ordem:
00, 01, 11, 10. Sempre troque apenas uma varivel a cada linha/coluna.

4 e 6 de Fev.
lgicas
de 2013
20 / 21
Concluso
Mapas de Karnaugh so fceis de se usar para at 4 variveis.

4 e 6 de Fev.
lgicas
de 2013
20 / 21
Concluso
Mapas de Karnaugh so fceis de se usar para at 4 variveis. Para 5 e 6
variveis, possvel:
Simplificar algebricamente, at obtermos 4 variveis, e depois usar o
mapa de Karnaugh.
I
Exemplo: simplifique A B C D E + A B C D E + A B C D E +
AB C D E + AB C D E + AB C D E + AB C D E + AB C D E

4 e 6 de Fev.
lgicas
de 2013
20 / 21
Concluso
variveis, possvel:
mapa de Karnaugh.
I
Ou usar mapas de Karnaugh tridimensionais.

4 e 6 de Fev.
lgicas
de 2013
20 / 21
Concluso
variveis, possvel:
mapa de Karnaugh.
I
Ou usar mapas de Karnaugh tridimensionais.

A partir de 4 variveis, costuma ser mais vantajoso usar outros mtodos
(Quine-McCluskey ou Espresso).
4 e 6 de Fev.
lgicas
de 2013
20 / 21
Para casa:
Ler sees 4-6, 4-7, 4-8, 4-9 e o final do captulo intitulado

Aplicaes em sistemas digitais (desprezar os comentrios e
diagramas sobre portas lgicas; ns veremos portas lgicas na prxima
aula).
Exerccios recomendados:
I
I
Autotestes: 12 a 16
Problemas: 21 a 44

4 e 6 de Fev.
lgicas
de 2013
21 / 21

Aula5 Algebra Boole

Enviado por

Dados do documento

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

Aula5 Algebra Boole

Enviado por

Direitos autorais:

Formatos disponíveis

Aula 5: determinao e simplificao de

Rodrigo Hausen (CMCC UFABC) Aula 5: determinao e simplificao de expresses

Aula passada: lgebra booleana

lgebra booleana [Boole, 1854]

Rodrigo Hausen (CMCC UFABC) Aula 5: determinao e simplificao de expresses

Aula passada: operaes

Rodrigo Hausen (CMCC UFABC) Aula 5: determinao e simplificao de expresses

Aula passada: expresses e funes lgicas

Funes lgicas: dadas por uma expresso ou tabela verdade

Rodrigo Hausen (CMCC UFABC) Aula 5: determinao e simplificao de expresses

Aula passada: regras bsicas

elem. neutro da disjuno

elem. neutro da conjuno

Leis de Morgan (ou Leis de DeMorgan)

Rodrigo Hausen (CMCC UFABC) Aula 5: determinao e simplificao de expresses

Rodrigo Hausen (CMCC UFABC) Aula 5: determinao e simplificao de expresses

De tabela verdade para expresso lgica

Rodrigo Hausen (CMCC UFABC) Aula 5: determinao e simplificao de expresses

De tabela verdade para expresso lgica

Rodrigo Hausen (CMCC UFABC) Aula 5: determinao e simplificao de expresses

De tabela verdade para expresso lgica

Rodrigo Hausen (CMCC UFABC) Aula 5: determinao e simplificao de expresses

De tabela verdade para expresso lgica

Rodrigo Hausen (CMCC UFABC) Aula 5: determinao e simplificao de expresses

De tabela verdade para expresso lgica

Rodrigo Hausen (CMCC UFABC) Aula 5: determinao e simplificao de expresses

De tabela verdade para expresso lgica

Rodrigo Hausen (CMCC UFABC) Aula 5: determinao e simplificao de expresses

De tabela verdade para expresso lgica

Rodrigo Hausen (CMCC UFABC) Aula 5: determinao e simplificao de expresses

De tabela verdade para expresso lgica

Rodrigo Hausen (CMCC UFABC) Aula 5: determinao e simplificao de expresses

De tabela verdade para expresso lgica

Rodrigo Hausen (CMCC UFABC) Aula 5: determinao e simplificao de expresses

De tabela verdade para expresso lgica

Rodrigo Hausen (CMCC UFABC) Aula 5: determinao e simplificao de expresses

De tabela verdade para expresso lgica

Rodrigo Hausen (CMCC UFABC) Aula 5: determinao e simplificao de expresses

De tabela verdade para expresso lgica

Rodrigo Hausen (CMCC UFABC) Aula 5: determinao e simplificao de expresses

De tabela verdade para expresso lgica

Rodrigo Hausen (CMCC UFABC) Aula 5: determinao e simplificao de expresses

De tabela verdade para expresso lgica

Observaes sobre funes

Rodrigo Hausen (CMCC UFABC) Aula 5: determinao e simplificao de expresses

Observaes sobre funes

Rodrigo Hausen (CMCC UFABC) Aula 5: determinao e simplificao de expresses

Observaes sobre funes

Rodrigo Hausen (CMCC UFABC) Aula 5: determinao e simplificao de expresses

Observaes sobre funes

Simplificao na forma soma-de-produtos

Rodrigo Hausen (CMCC UFABC) Aula 5: determinao e simplificao de expresses

Simplificao na forma soma-de-produtos

Rodrigo Hausen (CMCC UFABC) Aula 5: determinao e simplificao de expresses

Simplificao na forma soma-de-produtos

Rodrigo Hausen (CMCC UFABC) Aula 5: determinao e simplificao de expresses

Simplificao na forma soma-de-produtos

Rodrigo Hausen (CMCC UFABC) Aula 5: determinao e simplificao de expresses

Simplificao na forma soma-de-produtos

Rodrigo Hausen (CMCC UFABC) Aula 5: determinao e simplificao de expresses

Simplificao na forma soma-de-produtos

Simplificao na forma soma-de-produtos

Rodrigo Hausen (CMCC UFABC) Aula 5: determinao e simplificao de expresses

Simplificao na forma soma-de-produtos