Eletrônica Digital

Prof. Gilson Yukio Sato

sato[at]utfpr[dot]edu[dot]br
Mapas de Karnaugh
Prof. Gilson Yukio Sato
sato[at]utfpr[dot]edu[dot]br
 Mapas de Karnaugh
• Método gráfico de simplificação de equações
booleanas
• Simples e estruturado, leva sempre à solução
mais simplificada
• Usado para até 6 variáveis, mais comumente
para 4
• Para mais de 4 variáveis recomenda-se a
utilização de outros métodos como o método
de Quine-McClusky
 Mapas de Karnaugh
• O mapa K é uma representação de uma
função booleana, assim como a TV
• A forma com que ele é construído faz com
que os quadrados graficamente adjacentes
na vertical e na horizontal sejam também
logicamente adjacentes
• Com o mapa completo, a expressão
representada é uma SP na qual os termos
são as “coordenadas” dos agrupamentos
Mapa K de 2 Variáveis
S
BA S A 0 1
B
00 0 0 0 1
01 1
10 0 1 0 1
11 1
Agrupamentos em mapas K de 2
variáveis
S S S
A 0 1 A 0 1 A 0 1
B B B
0 0 1 0 0 1 0 1 1
1 0 0 1 0 1 1 0 0

S = B’A S=A S = B’
Agrupamentos em mapas K de 2
variáveis
S S S
A 0 1 A 0 1 A 0 1
B B B
0 1 1 0 1 0 0 0 0
1 1 1 1 0 1 1 0 0

S=1 S=0
 Mapa K de 3 Variáveis
CBA S
000 0 S BA
001 0 00 01 11 10
C
010 0 0 0 0 1 0
011 1
100 1 1 1 0 0 1
101 0
110 1
111 0
 Agrupamentos em mapas K de 3
variáveis
S BA S BA
00 01 11 10 00 01 11 10
C C
0 0 0 1 0 0 0 1 1 0
1 0 0 0 0 1 0 0 0 0

S = C’BA S = C’A
 Agrupamentos em mapas K de 3
variáveis
S BA S BA
00 01 11 10 00 01 11 10
C C
0 0 0 1 0 0 1 0 0 1
1 0 0 1 0 1 0 0 0 0

S = BA S = C’A’
 Agrupamentos em mapas K de 3
variáveis
S BA S BA
00 01 11 10 00 01 11 10
C C
0 0 0 1 1 0 1 0 0 1
1 0 0 1 1 1 1 0 0 1

S=B S = A’
 Agrupamentos em mapas K de 3
variáveis
S BA S BA
00 01 11 10 00 01 11 10
C C
0 0 0 0 0 0 1 1 1 1
1 1 1 1 1 1 1 1 1 1

S=C S=1
 Agrupamentos em mapas K de 3
variáveis

S BA S BA
00 01 11 10 00 01 11 10
C C
0 0 0 0 0 0 0 0 0 1
1 0 0 0 0 1 0 0 1 0

S=0
 Agrupamentos em mapas K de 3
variáveis
S BA S BA
00 01 11 10 00 01 11 10
C C
0 0 1 1 1 0 1 0 0 0
1 0 0 0 0 1 0 0 0 1
DCBA S
0000
0001
1
1
Mapa K de 4 Variáveis
0010 0 S BA
0011 0
DC 00 01 11 10
0100 0
0101 0 00 1 1 0 0
0110 1
0111 0 01 0 0 0 1
1000 0
1001 0
1010 1 11 0 1 0 1
1011 1
1100 0 10 0 0 1 1
1101 1
1110 1
1111 0
 Agrupamentos em mapas K de 4
variáveis
S BA S BA
DC 00 01 11 10 DC 00 01 11 10
00 0 0 0 0 00 0 0 0 0
01 0 1 0 0 01 0 0 1 0
11 0 0 0 0 11 0 0 1 0
10 0 0 0 0 10 0 0 0 0

S = D’CB’A S = CBA
 Agrupamentos em mapas K de 4
variáveis
S BA S BA
DC 00 01 11 10 DC 00 01 11 10
00 0 0 0 0 00 0 1 0 0
01 1 0 0 1 01 0 0 0 0
11 0 0 0 0 11 0 0 0 0
10 0 0 0 0 10 0 1 0 0

S = D’CA’ S = C’B’A
 Agrupamentos em mapas K de 4
variáveis
S BA S BA
DC 00 01 11 10 DC 00 01 11 10
00 1 1 0 0 00 0 1 1 0
01 1 1 0 0 01 0 0 0 0
11 0 0 0 0 11 0 0 0 0
10 0 0 0 0 10 0 1 1 0

S = D’B’ S = C’A
 Agrupamentos em mapas K de 4
variáveis
S BA S BA
DC 00 01 11 10 DC 00 01 11 10
00 0 0 0 0 00 0 0 0 0
01 0 0 0 0 01 0 0 0 0
11 1 0 0 1 11 0 0 0 0
10 1 0 0 1 10 1 1 1 1

S = DA’ S = DC’
 Agrupamentos em mapas K de 4
variáveis
S BA S BA
DC 00 01 11 10 DC 00 01 11 10
00 1 0 0 1 00 0 0 0 0
01 0 0 0 0 01 0 0 0 0
11 0 0 0 0 11 1 1 1 1
10 1 0 0 1 10 1 1 1 1

S = C’A’ S=D
 Agrupamentos em mapas K de 4
variáveis
S BA S BA
DC 00 01 11 10 DC 00 01 11 10
00 1 0 0 1 00 1 1 1 1
01 1 0 0 1 01 0 0 0 0
11 1 0 0 1 11 0 0 0 0
10 1 0 0 1 10 1 1 1 1

S = A’ S = C’
 Agrupamentos em mapas K de 4
variáveis
S BA S BA
DC 00 01 11 10 DC 00 01 11 10
00 0 1 1 0 00 1 1 1 1
01 0 1 1 0 01 1 1 1 1
11 0 1 1 0 11 1 1 1 1
10 0 1 1 0 10 1 1 1 1

S=A S=1
 Agrupamentos em mapas K de 4
variáveis
S BA S BA
DC 00 01 11 10 DC 00 01 11 10
00 1 0 0 0 00 0 0 0 0
01 0 0 0 0 01 0 1 1 1
11 0 0 0 0 11 0 1 1 1
10 0 0 0 1 10 0 0 0 0
 Mapa K de 5 Variáveis
S BA BA
DC 00 01 11 10 00 01 11 10
DC
00 0 0 1 0 00 1 1 1 0
01 1 0 0 1 01 1 0 1 0
11 0 0 1 0 11 0 0 1 0
10 1 0 0 1 10 1 0 1 1

E=0 E=1
 Adjacências em mapas K de 5 variáveis

S BA BA
DC 00 01 11 10 00 01 11 10
DC
00 0 0 1 0 00 1 1 1 0
01 1 0 0 1 01 1 0 1 0
11 0 0 1 0 11 0 0 1 0
10 1 0 0 1 10 1 0 1 1

E=0 E=1
 E=0 E=1

S BA S BA
00 01 11 10 DC 00 01 11 10
DC
00 1 1 1 0 00 0 0 0 0

01 1 0 0 1 01 1 1 1 1
F=0
11 0 0 0 0 11 0 1 1 0

Mapa K 10 1 1 0 0 10 1 0 0 1

de 6 S BA S BA
DC 00 01 11 10 00 01 11 10
DC
Variáveis 00 0 0 1 0 00 0 1 1 0

01 1 1 0 0 01 1 1 1 0
F=1
11 0 1 0 0 11 0 0 1 1

10 1 0 1 0 10 1 0 0 1
Simplificando com Mapas K -
1
• Construa o mapa K com todos “1” e “0” nos
devidos lugares
• Procure por “1” isolados, ou seja, que não
possam ser agrupados com outros “1”s
• Agrupe em duplas “1”s que só podem ser
agrupados com um único “1”
• Agrupe em octetos (para 4 variáveis) e em
quadras (para 3 variáveis) mesmo que seja
necessário usar “1” que já foram utilizados
 Simplificando com Mapas K -
2
• Agrupe em quadras (para 4 variáveis) qualquer
“1” que esteja sobrando. Lembre–se de usar o
mínimo de agrupamentos
• Agrupe os pares (para 4 variáveis) os “1”s que
ainda não tenham sido agrupados Lembre–se
de usar o mínimo de agrupamentos
• Analise os agrupamentos e determine os
termos (do tipo produto) correspondentes a
cada um deles
• Construa uma SP com os termos
 Simplificando com Mapas K -
3
• Na determinação dos termos:
– Se dentro de um determinado agrupamento,
uma variável assume tanto o valor “1”
quanto o “0”, então essa variável é eliminada
do termo. As variáveis que permanecem em
“1” ou “0” dentro de um agrupamento
formam o termo.
 Simplificação - Exemplo
S BA
DC 00 01 11 10
• Construa o 00 0 0 0 1
mapa K com
01 0 1 0 0
todos “1” e “0”
nos devidos 11 1 1 1 1
lugares 10 0 1 1 0
 Simplificação - Exemplo
S BA
DC 00 01 11 10
• Procure por “1” 00 0 0 0 1
isolados, ou
01 0 1 0 0
seja, que não
possam ser 11 1 1 1 1
agrupados com
10 0 1 1 0
outros “1”s
 Simplificação - Exemplo
S BA
DC 00 01 11 10
• Agrupe em 00 0 0 0 1
duplas “1”s que
01 0 1 0 0
só podem ser
agrupados com 11 1 1 1 1
um único “1”
10 0 1 1 0
 Simplificação - Exemplo
S BA
DC 00 01 11 10
• Agrupe em octetos 00 0 0 0 1
(para 4 variáveis) e
em quadras (para 3 01 0 1 0 0
variáveis) mesmo
que seja 11 1 1 1 1
necessário usar “1”
que já foram 10 0 1 1 0
utilizados
 Simplificação - Exemplo
S BA
DC 00 01 11 10
• Agrupe em 00 0 0 0 1
quadras (para 4
variáveis) qualquer 01 0 1 0 0
“1” que esteja
sobrando. Lembre– 11 1 1 1 1
se de usar o
mínimo de 10 0 1 1 0
agrupamentos
 Simplificação - Exemplo
S BA
DC 00 01 11 10
• Agrupe os pares 00
(para 4 variáveis) 0 0 0 1
os “1”s que ainda
não tenham sido 01 0 1 0 0
agrupados
Lembre–se de usar 11 1 1 1 1
o mínimo de
agrupamentos 10 0 1 1 0
 Simplificação - Exemplo
D’C’BA’
S BA
DC 00 01 11 10
• Analise os 00 0 0 0 1
agrupamentos e
determine os 01 0 1 0 0
termos (do tipo CB’A
produto) 11 1 1 1 1
correspondentes a DC
cada um deles 10 0 1 1 0

DA
 Simplificação - Exemplo
D’C’BA’
S BA
DC 00 01 11 10

• Construa uma 00 0 0 0 1
SP com os 01 0 1 0 0
termos CB’A
11 1 1 1 1
DC
10 0 1 1 0
S = D’C’BA’+CB’A+DC+DA
DA
 Múltiplas soluções
S BA S BA
DC 00 01 11 10 DC 00 01 11 10
00 0 1 0 0 00 0 1 0 0
01 0 1 1 1 01 0 1 1 1
11 0 0 0 1 11 0 0 0 1
10 1 1 0 1 10 1 1 0 1

S = D’B’A+D’CB+DBA’+DC’B’ S = C’B’A+D’CA+CBA’+DC’A’
 Erro
S BA
DC 00 01 11 10
00 0 1 0 0
01 0 1 1 1
11 0 0 0 1
10 1 1 0 1
Termos de Entrada Irrelevantes
• Em alguns circuitos podem existir termos
de entrada que nunca ocorrerão. Assim
as saídas para esses termos podem ser
consideradas irrelevantes (don´t care)
• Essas saídas podem ser representadas
com um “X” e podem ser usadas como
“1” ou “0” conforme sua conveniência
DCBA S
0000
0001
1
1
Termos Irrelevantes
0010 0 S BA
0011 0
DC 00 01 11 10
0100 X
0101 0 00 1 1 0 0
0110 1
0111 X 01 X 0 X 1
1000 X
1001 0
1010 1 11 0 1 X 1
1011 1
1100 0 10 X 0 1 1
1101 1
1110 1
1111 X
 Exercício
• Projetar um conversor BCD para 7
segmentos. Considere os termos de
entrada A até F irrelevantes
– O código 7 segmentos serve para acionar
um display de leds
 Exercício
MNOP a b c d e f g
0000 ? ? ? ? ? ? ?
0001 ? ? ? ? ? ? ? • Primeiro preencha a TV
0010 ? ? ? ? ? ? ? ao lado
0011 ? ? ? ? ? ? ? • Aplique mapas K para
0100 ? ? ? ? ? ? ? cada coluna (a ... g)
0101 ? ? ? ? ? ? ?
0110 ? ? ? ? ? ? ?
a
0111 ? ? ? ? ? ? ?
1000 ? ? ? ? ? ? ?
f b
1001 ? ? ? ? ? ? ?
g
1010 X X X X X X X
1011 X X X X X X X
1100 X X X X X X X e c
1101 X X X X d
X X X
1110 X X X X X X X
1111 X X X X X X X