Mapa de Karnough

INSTITUTO FEDERAL
Mapa de Karnough Fluminense
Campus Macaé
Itaperuna

• Origem:
– Desenvolvido em 1953 por Maurice Karnough, um
engenheiro de telecomunicações da Bell Labs.

• Objetivo:
– Reduzir (simplificar) expressões lógicas
 INSTITUTO FEDERAL
Lógica do Mapa de Karnough Fluminense
Campus Macaé
Itaperuna

• Representar a tabela verdade em um formato

gráfico, um formato matricial.

• Seja a tabela verdade composta para 2 variáveis de

entrada A e B:
Ref A B Saída A\B 0 1
0 0 0
0 0 1
1 0 1
2 1 0
3 1 1 1 2 3
 INSTITUTO FEDERAL
Lógica do Mapa de Karnough Fluminense
Campus Macaé
Itaperuna

• Representar a tabela verdade em um formato

gráfico, um formato matricial.

• Seja a tabela verdade composta para 2 variáveis de

entrada A e B:
Ref A B Saída A\B 0 1
0 0 0
0 0 1
1 0 1
2 1 0
3 1 1 1 2 3
 INSTITUTO FEDERAL
USO do Mapa de Karnough Fluminense
Campus Macaé
Itaperuna

Exemplo 1:
• Seja a função: F = A.B + A.B
1 – Completar a TABELA com o valor lógico da saída…

Ref A B Saída
0 0 0 0
1 0 1 1
2 1 0 0
3 1 1 1
 INSTITUTO FEDERAL
USO do Mapa de Karnough Fluminense
Campus Macaé
Itaperuna

Exemplo 1:
• Seja a função: F = A.B + A.B
2 – Completar o MAPA com o valor lógico 1 da saída…

A B Saída A\B 0 1
0 0 0
0 1
0 1 1
1 0 0
1 1 1 1 1
 INSTITUTO FEDERAL
USO do Mapa de Karnough Fluminense
Campus Macaé
Itaperuna

Exemplo 1:
• Seja a função: F = A.B + A.B
3 – Fazer o agrupamento de células contíguas!

A B Saída A\B 0 1
0 0 0
0 1
0 1 1
1 0 0
1 1 1 1 1
 INSTITUTO FEDERAL
USO do Mapa de Karnough Fluminense
Campus Macaé
Itaperuna

• Seja a função: F = A.B + A.B

4 – Verificar a variável que mudou,
essa será eliminada (simplificada)
A B Saída
A\B 0 1
0 0 0
0 1 1 0 1 A.B
1 0 0
1 1 1 1 1 A.B
Ou por Simplificação
F = A.B + A.B Variável que mudou?
F = B.(A + A) Sobra… F = B
F=B
 INSTITUTO FEDERAL
USO do Mapa de Karnough Fluminense
Campus Macaé
Itaperuna

Exemplo 2
• Seja a função: F = A.B + A.B
1 – Completar a TABELA com o valor lógico da saída…

Ref A B Saída
0 0 0 0
1 0 1 0
2 1 0 1
3 1 1 1
 INSTITUTO FEDERAL
USO do Mapa de Karnough Fluminense
Campus Macaé
Itaperuna

Exemplo 2:
• Seja a função: F = A.B + A.B
3 – Fazer o agrupamento de células contíguas!
Não pode ser na diagonal!!!

A B Saída A\B 0 1
0 0 0
0
0 1 0
1 0 1
1 1 1 1 1 1
 INSTITUTO FEDERAL
USO do Mapa de Karnough Fluminense
Campus Macaé
Itaperuna

Exemplo 2:
A\B 0 1
• Seja a função: F = A.B + A.B
4 – Verificar a variável que mudou, 0

essa será eliminada (simplificada)

1 1 1

A B Saída Ou por Simplificação

0 0 0 A.B
F = A.B + A.B
0 1 0
A.B
F = A.(B + B)
1 0 1 F=A Variável que mudou?
1 1 1 B…então elimina
Sobra… F = A
 INSTITUTO FEDERAL
Mapas possíveis para 2 Variáveis Fluminense
Campus Macaé
Itaperuna
Mapa K para 3 Variáveis INSTITUTO FEDERAL
Fluminense
AB\C 0 1 Campus Macaé
Itaperuna

Repare na 00 0 1
•Mapa – Opção 1 e 2
Ordem
01 2 3 Ref A B C Saída
0 0 0 0
Segue o 1 0 0 1
11 6 7
Código 2 0 1 0
Gray 3 0 1 1
10 4 5
4 1 0 0

A\BC 00 01 11 10 5 1 0 1
6 1 1 0
0 0 1 3 2 7 1 1 1

1 4 5 7 6
 INSTITUTO FEDERAL
Exemplo 3 Fluminense
Campus Macaé
Itaperuna

Ref A B C Y
Sem Mapa de Karnough
0 0 0 0 1 = A.B.C Y = ∑ 0,1,4,6
1 0 0 1 1 = A.B.C Soma de produtos: Mintermos
2 0 1 0 0
3 0 1 1 0 Y = ABC +ABC + ABC + ABC
4 1 0 0 1 = A.B.C
Y = AB (C + C) + AC (B + B)
5 1 0 1 0
Y = AB + AC
Com Mapa
6 1 1 0 1 = A.B.C AB\C 0 1
7 1 1 1 0 ABC
ABC ABC 00 1 1
ABC AB 01
A C
11 1
Y = AB + AC
10 1
 INSTITUTO FEDERAL
Exemplo 4 Fluminense
Campus Macaé
Itaperuna

A B C Y
Mapa
0 0 0 0 AB\C 0 1 Sempre será:
0 0 1 1
00 1 21 -> 2 Células -> 1 Var. Eliminada
0 1 0 1
01 1 1 22 -> 4 Células -> 2 Var. Eliminadas
0 1 1 1
1 0 0 1 23 -> 8 Células -> 3 Var. Eliminadas
11 1
1 0 1 1
10 1 1
1 1 0 1
1 1 1 0
ABC ABC ABC
ABC ABC ABC
A C BC AB Y = AC + BC + AB
ATENÇÃO:
Não existe agrupamento de 3,5 células ou que não seja múltiplos de 2n
 INSTITUTO FEDERAL
Exemplo 4 Fluminense
Campus Macaé
Itaperuna

A B C Y Mapa AC
0 0 0 0
AB\C 0 1
0 0 1 1 AB
00 1
0 1 0 1
BC AC
0 1 1 1 01 1 1
1 0 0 1 BC
11 1
1 0 1 1
1 1 0 1 10 1 1 AB
1 1 1 0
Y = AC + BC + AB
 INSTITUTO FEDERAL
Exemplo 4 Fluminense
Campus Macaé
Itaperuna

A B C Y Mapa
0 0 0 0 ATENÇÃO
AB\C 0 1
0 0 1 1
00 1 Evitar
0 1 0 1 agrupamentos
0 1 1 1 01 1 1 Reduntantes
1 0 0 1
11 1
1 0 1 1
1 1 0 1 10 1 1 Não implica em erros,
1 1 1 0 mas aumenta o circuito
Y = AC + BC + AB
 INSTITUTO FEDERAL
Exemplo 4 Fluminense
Campus Macaé
Itaperuna

AB\C 0 1

00 1

01 1 1

11 1

10 1 1

O circuito passou a ter

9 portas ao invés de 7,
sem contar o número
de entradas ds portas!!
 INSTITUTO FEDERAL
Exemplo 4 Fluminense
Campus Macaé
Itaperuna
 INSTITUTO FEDERAL
Exemplo 4 Fluminense
Campus Macaé
Itaperuna
 Mapa K para 4 Variáveis INSTITUTO FEDERAL
Ref A B C D Y Fluminense
Campus Macaé
Itaperuna
0 0 0 0 0
1 0 0 0 1
2 0 0 1 0
3 0 0 1 1 •Mapa – Opção 1
4 0 1 0 0
5 0 1 0 1
AB\CD 00 01 11 10
6 0 1 1 0
7 0 1 1 1 00 0 1 3 2
8 1 0 0 0
01 4 5 7 6
9 1 0 0 1
10 1 0 1 0 11 12 13 15 14
11 1 0 1 1
12 1 1 0 0 10 8 9 11 10
13 1 1 0 1
14 1 1 1 0
15 1 1 1 1
 Mapa K para 4 Variáveis INSTITUTO FEDERAL
Ref A B C D Y Fluminense
Campus Macaé
Itaperuna
0 0 0 0 0
1 0 0 0 1
2 0 0 1 0
3 0 0 1 1 •Mapa – Opção 2
4 0 1 0 0
5 0 1 0 1
CD\AB 00 01 11 10
6 0 1 1 0
7 0 1 1 1 00 0 4 12 8
8 1 0 0 0
01 1 5 13 9
9 1 0 0 1
10 1 0 1 0 11 3 7 15 11
11 1 0 1 1
12 1 1 0 0 10 2 6 14 10
13 1 1 0 1
14 1 1 1 0
15 1 1 1 1
 INSTITUTO FEDERAL
Exercícios Fluminense
Campus Macaé
Itaperuna

A B X
0 0 1 A\B 0 1 X = AB + AB
0 1 0 0 1
1 0 0
1 1
1 1 1

A B C Y
0 0 0 1
AB\C 0 1
0 0 1 1
00 1 1
0 1 0 1 Y = AB + BC
0 1 1 0 01 1
1 0 0 0 11 1
1 0 1 0
10
1 1 0 1
1 1 1 0
 ABC
ABC INSTITUTO FEDERAL
Exercícios Fluminense
ABC Campus Macaé
Itaperuna

A B C Y ABC
0 0 0 0 AB\C 0 1 C Prova:
Y = ABC + ABC + ABC +ABC
0 0 1 1 00 1
Y = AC (B + B) + AC (B + B)
0 1 0 0
01 1 Y = AC + AC
0 1 1 1 Y = C (A + A)
1 0 0 0
11 1
Y=C
1 0 1 1 10 1
1 1 0 0
1 1 1 1 AB\C 0 1
00 1 Y = ABC + ABC + ABC +ABC
Y = AC (B + B) + AC (B + B)
Resposta: Y = C 01 1 Y = AC + AC
11 1 Y = C (A + A)
Y=C
10 1
 INSTITUTO FEDERAL
Agrupamentos de 2 Variáveis Fluminense
Campus Macaé
Itaperuna

AB\C 0 1 AB\C 0 1
00 00
01 1 S = BC 01 1 1 S = AB
11 1 11
10 10

AB\CD 00 01 11 10
AB\C 0 1
00 1 00 1 1

01 S = BC 01 S = ABC + ABD
11
11
10 1
10 1 1
 INSTITUTO FEDERAL
Agrupamentos de 4 Variáveis Fluminense
Campus Macaé
Itaperuna

AB\C 0 1 AB\CD 00 01 11 10 AB\CD 00 01 11 10

00 1 00 00
01 1 01 01 1 1

11 1 11 1 1 1 1 11 1 1

10 1 10 10

S=C S = AB S = BD
AB\CD 00 01 11 10 AB\CD 00 01 11 10
00 00 1 1

01 01
11 1 1 11
10 1 1 10 1 1

S = AD S = BD
 INSTITUTO FEDERAL
Agrupamentos de 8 Variáveis Fluminense
Campus Macaé
Itaperuna

AB\CD 00 01 11 10 AB\CD 00 01 11 10
00 00 1 1

01 1 1 1 1 01 1 1

11 1 1 1 1 11 1 1

10 10 1 1

S=B S=C
AB\CD 00 01 11 10 AB\CD 00 01 11 10
00 1 1 1 1 00 1 1

01 01 1 1

11 11 1 1

10 1 1 1 1 10 1 1

S=B S=D
 INSTITUTO FEDERAL
Mesmo Problema – 2 Soluções Fluminense
Campus Macaé
Itaperuna

AB\CD 00 01 11 10 AB\CD 00 01 11 10
00 1 00 1

01 1 1 1 01 1 1 1

11 1 11 1

10 1 1 1 10 1 1 1

S = ABC + ACD + ABC + ACD S = ABD + BCD + ABD + BCD

 INSTITUTO FEDERAL
Exercícios Fluminense
Campus Macaé
Itaperuna

A B C Y
0 0 0 1
0 0 1 1 AB\C 0 1
0 1 0 1 00 1 1
0 1 1 0
01 1
1 0 0 1
1 0 1 1 11 1
1 1 0 1 10 1 1
1 1 1 0

Resposta: Y = B + C
Exercícios
INSTITUTO FEDERAL
A B C D S Fluminense
0 0 0 0 0 Campus Macaé
Itaperuna

0 0 0 1 1
0 0 1 0 0
0 0 1 1 0
0 1 0 0 0 AB\CD 00 01 11 10
0 1 0 1 1 00 1
0 1 1 0 0
01 1
0 1 1 1 0
1 0 0 0 0 11 1 1

1 0 0 1 0 10
1 0 1 0 0
1 0 1 1 0
S = ABC + ACD
1 1 0 0 0
1 1 0 1 1
1 1 1 0 0
1 1 1 1 1
Exercícios
INSTITUTO FEDERAL
Fluminense
Campus Macaé
Itaperuna
AB\CD 00 01 11 10 AB\CD 00 01 11 10
00 1 00 1

01 1 1 01 1 1 1 1

11 1 1 11 1 1

10 1 10

S = BD + ACD + ABCD S = AB + BC + ACD

Não fazer o grupo do meio
AB\CD 00 01 11 10 AB\CD Evitar
00 redundâncias
01 11 10
00 1 1 1 00 1
01 1 1 1 1 01 1 1 1
11 11 1 1 1
10 10 1

S = AB + AD + AC S = ACD + ABC + ACD + ABC

Exercícios
INSTITUTO FEDERAL
Fluminense
Campus Macaé
Itaperuna

AB\CD 00 01 11 10
00 1 1 1

01 1 1

11
10 1 1 1

S = AD + BC + BD
Diagramas com Condições Irrelevantes INSTITUTO FEDERAL
Fluminense
(Don’t Care – X) Campus Macaé
Itaperuna

• É chamado de condição irrelevante (don’t care - X) a

A B C S
situação de entrada (ABC..) onde a saída (S) pode
0 0 0 X
assumir valor 0 ou 1 indiferentemente.
0 0 1 0
0 1 0 1 • Esta condição ocorre principalmente pela impossibilidade
0 1 1 X prática do caso de entrada acontecer.
1 0 0 1
1 0 1 X • Para sua utilização, devemos para cada condição
1 1 0 X irrelevante (X – don’t care) , adotar 0 ou 1 da forma que
1 1 1 1
possibilitar melhor agrupamento e consequente maior
simplificação.
 AB\C 0 1
INSTITUTO FEDERAL
Exercício: 00 X Fluminense
Campus Macaé
Itaperuna
Don’t Care (X) 01 1 X
11 X 1

A B C S 10 1 X
0 0 0 X Y=A+B
0 0 1 0
0 1 0 1 AB\C 0 1 AB\C 0 1
0 1 1 X 00 X 00 X
1 0 0 1
01 1 X 01 1 X
1 0 1 X
1 1 0 X 11 X 1 11 X 1
1 1 1 1 10 1 X 10 1 X
Y=A+C Y=B+C
 AB\C 0 1
INSTITUTO FEDERAL
Exercícios 00 X Fluminense
Campus Macaé
Itaperuna
01 1 X
11 X 1

A B C S 10 1 X
0 0 0 X Y=A+B
0 0 1 0
0 1 0 1 AB\C 0 1 AB\C 0 1
0 1 1 X 00 X 00 X
1 0 0 1
01 1 X 01 1 X
1 0 1 X
1 1 0 X 11 X 1 11 X 1
1 1 1 1 10 1 X 10 1 X

Y=A+C Y=B+C
Ref
0
A
0
B
0
C
0
D
0
E
0
Y
Mapa K para 5
1

2
0

0
0

0
0

0
0

1
1

0
Variáveis INSTITUTO FEDERAL
Fluminense
3 0 0 0 1 1

4 0 0 1 0 0
Campus Macaé
Itaperuna
5 0 0 1 0 1

6 0 0 1 1 0

7 0 0 1 1 1

8 0 1 0 0 0

9 0 1 0 0 1

10 0 1 0 1 0

11 0 1 0 1 1 BC\DE 00 01 11 10 BC\DE 00 01 11 10
12 0 1 1 0 0

13 0 1 1 0 1 00 0 1 3 2 00 16 17 19 18
14 0 1 1 1 0

15 0 1 1 1 1 01 4 5 7 6 01 20 21 23 22
16 1 0 0 0 0

17 1 0 0 0 1 11 12 13 15 14 11 24 25 27 26
18 1 0 0 1 0

19 1 0 0 1 1
10 8 9 11 10 10 28 29 31 30
20 1 0 1 0 0

21 1 0 1 0 1 A=0 A=1
22 1 0 1 1 0

23 1 0 1 1 1

24 1 1 0 0 0

25 1 1 0 0 1

26 1 1 0 1 0

27 1 1 0 1 1

28 1 1 1 0 0

29 1 1 1 0 1

30 1 1 1 1 0

31 1 1 1 1 1
Mapa K para 5 Variáveis INSTITUTO FEDERAL
Fluminense
Campus Macaé
Itaperuna
BC\DE 00 01 11 10

00 0 1 3 2

01 4 5 7 6
A=0
11 12 13 15 14

10 8 9 11 10

BC\DE 00 01 11 10

00 16 17 19 18

01 20 21 23 22 A=1
11 24 25 27 26

10 28 29 31 30
A B C D E Y
0

0
0

0
0

0
0

0
0

1
0

0
Exercício: INSTITUTO FEDERAL
0 0 0 1 0 1
Fluminense
0 0 0 1 1 0

0 0 1 0 0 0
Campus Macaé
Itaperuna
0 0 1 0 1 1

0 0 1 1 0 1

0 0 1 1 1 1

0 1 0 0 0 1

0 1 0 0 1 1 BC\DE 00 01 11 10 BC\DE 00 01 11 10
0 1 0 1 0 1

0 1 0 1 1 0 00 1 00 1
0 1 1 0 0 1

0 1 1 0 1 1 01 1 1 1 01 1 1 1
0 1 1 1 0 1

0 1 1 1 1 0 11 1 1 1 11 1
1 0 0 0 0 0

1 0 0 0 1 0
10 1 1 1 10 1 1
1 0 0 1 0 1

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

1 0 1 0 1 1

1 0 1 1 0 1 Y = BCE + DE + ABD + BCDE

1 0 1 1 1 1

1 1 0 0 0 0

1 1 0 0 1 1

1 1 0 1 0 1

1 1 0 1 1 0

1 1 1 0 0 0

1 1 1 0 1 0

1 1 1 1 0 1

1 1 1 1 1 0
Exercício: INSTITUTO FEDERAL
Fluminense
Campus Macaé
Itaperuna
BC\DE 00 01 11 10

00 1

01 1 1 1
A=0
11 1 1 1

10 1 1 1

BC\DE 00 01 11 10

00 1

01 1 1 1 A=1
11 1
10 1 1
Exercício: INSTITUTO FEDERAL
Fluminense
Campus Macaé
Itaperuna

BC\DE 00 01 11 10 BC\DE 00 01 11 10

00 1 1 00 1 1

01 1 01 1

11 1 1 1 11 1 1

10 1 10

A=0 A=1

Y = BCE + ADE + BCD + ACDE