Mapas de Karnaugh

Prof. Rmulo Calado Pantaleo Camara

Carga Horria: 2h/60h
Universidade Federal do Vale do So Francisco - UNIVASF
Colegiado de Engenharia da Computao CECOMP

Mapas de Karnaugh
O mapa de Veitch-Karnaugh, ou simplesmente
mapa de Karnaugh, uma tabela montada de forma
a facilitar o processo de minimizao das
expresses lgicas.
Os mapas de Karnaugh permitem a simplificao de
expresses com duas, trs, quatro, cinco ou mais
variveis.

Ele formado por 2n clulas (n o nmero de

variveis de entrada).
Universidade Federal do Vale do So Francisco - UNIVASF
Colegiado de Engenharia da Computao CECOMP

Mapas de Karnaugh
A representao da relao entre as variveis de
entrada e suas sadas correspondentes feita da
seguinte forma:
Cada clula corresponde a uma condio de entrada;
As sadas so indicadas dentro das clulas
correspondentes;
A disposio das clulas entre si tal que facilite o
enlace entre clulas adjacentes.

Os conceitos de adjacncia e enlace so de

fundamental importncia para a compreenso e
aplicao do mapa de Karnaugh.
Universidade Federal do Vale do So Francisco - UNIVASF
Colegiado de Engenharia da Computao CECOMP

Mapas de Karnaugh
Adjacncia: duas clulas so adjacentes entre si
quando apenas uma de suas variveis de entrada
muda de valor.
Exemplo: A tabela verdade de duas variveis (porta
OR) pode ser representada por quatro clulas:

AB = 00 0

AB = 01

AB = 10

AB = 11

Pode-se afirmar que:

As clulas AB = 00 e AB = 01 so adjacentes (apenas B muda
de valor);
As clulas AB = 00 e AB = 10 so adjacentes (apenas A muda
de valor);
As clulas AB = 01 e AB = 10 no so adjacentes (A e B
mudam de valor)
Universidade Federal do Vale do So Francisco - UNIVASF
Colegiado de Engenharia da Computao CECOMP

Mapas de Karnaugh
Enlace (regio): o agrupamento de clulas
adjacentes, com sadas iguais, do qual se pode
extrair diretamente uma expresso booleana
simplificada.
Esta simplificao advm da aplicao do teorema
da absoro.
Assim, num enlace entre duas clulas adjacentes,
pode-se extrair uma expresso booleana
simplificada j que a varivel que muda de valor
desaparece.

Universidade Federal do Vale do So Francisco - UNIVASF

Colegiado de Engenharia da Computao CECOMP

Mapas de Karnaugh
A expresso de um enlace (agrupamento) depende
das sadas consideradas e das variveis de entrada
que no mudam de valor nas clulas, ou seja:
Sadas = 1
cada enlace um produto (AND) entre as
variveis que no mudam de valor;
a operao entre enlaces uma soma (OR).
Sadas = 0
cada enlace uma soma (OR) entre as variveis
que no mudam de valor;
a operao entre enlaces um produto (AND).
Universidade Federal do Vale do So Francisco - UNIVASF
Colegiado de Engenharia da Computao CECOMP

Mapas de Karnaugh
Podemos construir o mapa de Karnaugh para as
Sadas = 0 tomando o complemento da funo S
(Sadas = 1), bastando, apenas, inverter a sada
(Teorema de De Morgan).
A resoluo de um mapa pode ser realizada por
sadas iguais a 1 ou 0. Ambas as solues so
satisfatrias, podendo-se obter expresses
booleanas iguais ou equivalentes.
Normalmente, a resoluo por sadas iguais a 0 s
utilizada quando apenas um enlace formado.
Universidade Federal do Vale do So Francisco - UNIVASF
Colegiado de Engenharia da Computao CECOMP

Mapas de Karnaugh
Observaes:
1. Se o mapa possui apenas um enlace, a expresso da
sada ter apenas um termo (produto ou soma).
2. O nmero de clulas que pode fazer parte de um
enlace est tambm relacionado com a equao 2n (
onde n varia de 0 ao nmero de variveis do mapa
considerado).
3. Um enlace envolvendo uma nica clula no resulta
em simplificao. Quando no so possveis enlaces
envolvendo mais de uma clula, significa que a
expresso no pode ser simplificada
algebricamente.
Universidade Federal do Vale do So Francisco - UNIVASF
Colegiado de Engenharia da Computao CECOMP

Mapas de Karnaugh
Observaes:
4. Quanto maior o enlace, menor o termo
correspondente e, portanto, mais simplificada fica
a expresso booleana do mapa de Karnaugh
considerado.
5. Dois enlaces podem ter uma clula em comum.
6. Quanto menor o nmero de enlaces, menos termos
tem a expresso booleana do mapa de Karnaugh
considerado e, portanto, mais simplificada ela fica;

Universidade Federal do Vale do So Francisco - UNIVASF

Colegiado de Engenharia da Computao CECOMP

Mapas de Karnaugh
Observaes:
7. O uso do irrelevante num enlace pode simplificar
ainda mais a expresso booleana final. Assim,
sempre que uma ou mais sadas forem irrelevantes,
cada uma delas deve ser considerada 0 ou 1 de
acordo com a convenincia, tornando o circuito mais
simplificado.
8. A resoluo de um mapa de Karnaugh com enlaces
menores do que os possveis ou com um nmero de
enlaces maior do que o necessrio, resulta, tambm,
numa expresso booleana correta, porm, no
totalmente simplificada.
Universidade Federal do Vale do So Francisco - UNIVASF
Colegiado de Engenharia da Computao CECOMP

Mapas de Karnaugh
Algumas regras so seguidas no desenvolvimento do
mapa de Karnaugh:
1. Todos 1 devem ser lidos pelo menos uma vez.
2. Grupos de 1 em potncia de 2, e retangulares
formam uma leitura.
3. O grupo deve ser o maior possvel.
4. Deve-se ter o menor nmero possvel de leituras.
5. A leitura corresponde s variveis que se
mantiverem constantes

Universidade Federal do Vale do So Francisco - UNIVASF

Colegiado de Engenharia da Computao CECOMP

Karnaugh para Duas Variveis

O mapa ser descrito como (S=f(A,B)) formado
por quatro clulas (2=4);
A

minitermos

m0 A B

m1 A B

m2 A B

m3 A B

Tabela Verdade

B
A

m 0 m1

m2

m3

Mapa de Karnaugh

Pode-se notar que cada linha da tabela verdade

possui uma regio prpria no diagrama de Karnaugh.

Universidade Federal do Vale do So Francisco - UNIVASF

Colegiado de Engenharia da Computao CECOMP

Karnaugh para Duas Variveis

Com duas variveis possvel formar vrias regies
(enlaces). Exemplo:

Universidade Federal do Vale do So Francisco - UNIVASF

Colegiado de Engenharia da Computao CECOMP

Karnaugh para Duas Variveis

Passos para a simplificao:

Formar pares;
Formar termos isolados;
A expresso simplificada ser o somatrio das
regies (enlaces) encontradas.

Universidade Federal do Vale do So Francisco - UNIVASF

Colegiado de Engenharia da Computao CECOMP

Mapas de Karnaugh
Exemplo:
Condies
irrelevantes

Universidade Federal do Vale do So Francisco - UNIVASF

Colegiado de Engenharia da Computao CECOMP

Mapas de Karnaugh
Exemplo Resolvido: dada a tabela verdade, obtenha o
circuito simplificado utilizando mapa de Karnaugh.

Formar os pares; formar os termos isolados; fazer a soma

minitermos!

Universidade Federal do Vale do So Francisco - UNIVASF

Colegiado de Engenharia da Computao CECOMP

Karnaugh para Trs Variveis

S=f(A,B,C); Quantas clulas? 8
Tabela Verdade

Mapa de Karnaugh

Universidade Federal do Vale do So Francisco - UNIVASF

Colegiado de Engenharia da Computao CECOMP

Karnaugh para Trs Variveis

Possveis regies de enlaces;

Universidade Federal do Vale do So Francisco - UNIVASF

Colegiado de Engenharia da Computao CECOMP

Karnaugh para Trs Variveis

Passos para a simplificao:

Formar quadras;
Formar pares;
Formar termos isolados;
A expresso simplificada ser o somatrio dos
enlaces encontrados;

Universidade Federal do Vale do So Francisco - UNIVASF

Colegiado de Engenharia da Computao CECOMP

Mapas de Karnaugh
Exemplo:

Universidade Federal do Vale do So Francisco - UNIVASF

Colegiado de Engenharia da Computao CECOMP

Karnaugh para Trs Variveis

Condies irrelevantes:

Universidade Federal do Vale do So Francisco - UNIVASF

Colegiado de Engenharia da Computao CECOMP

Karnaugh para Trs Variveis

Exerccio: Dada a tabela verdade, encontre o
circuito simplificado utilizando o diagrama de
Karnaugh.

Universidade Federal do Vale do So Francisco - UNIVASF

Colegiado de Engenharia da Computao CECOMP

Karnaugh para Trs Variveis

Exerccio: Dada a tabela verdade, encontre o
circuito simplificado de E e F utilizando o
diagrama de Karnaugh.

Universidade Federal do Vale do So Francisco - UNIVASF

Colegiado de Engenharia da Computao CECOMP

Karnaugh para Trs Variveis

Exerccio: Projete um circuito lgico de uma
porta de elevador em um prdio de 3 andares.
M indica movimento; F1, F2, F3 indicadores de
andares e so normalmente nvel baixo e
passa para nvel alto apenas quando estiver no
andar. A sada do circuito o sinal de ABRIR
a porta que normalmente nvel BAIXO. Se
acionado para abrir a porta, sobe para ALTO.
M
F1
F2
F3

Circuito do
elevador

Abrir

Universidade Federal do Vale do So Francisco - UNIVASF

Colegiado de Engenharia da Computao CECOMP