Sistemas Digitais

Mapa de Karnaugh
Cincia da Computao
Prof. Rogerio Maciel
Motivao
A obteno de uma funo booleana, a
partir da Tabela Verdade, uma tarefa
importante, mas que pode ser bastante
trabalhosa
Os mtodos da Soma dos Produtos e
Produto das Somas exigem que sejam feitas
diversas simplifcaes posteriores, para que
a funo lgica seja minimizada
Cincia da Computao
Prof. Rogerio Maciel
Exemplo 1
Obter a funo
booleana a partir
da Tabela Verdade
indicada
Simplificar a funo
booleana
Cincia da Computao
Prof. Rogerio Maciel
Exemplo 1
Para obter a funo booleana, seria
necessrio utilizar um dos mtodos
citados, e depois simplificar a funo
Como visto anteriormente, tal
procedimento pode ser bastante
trabalhoso, e nem sempre permite
visualizar todas as simplificaes
possveis
Cincia da Computao
Prof. Rogerio Maciel
Exemplo 1
No exemplo mencionado, a funo
booleana obtida pelo mtodo da Soma
dos Produtos seria
XYZ Z Y X YZ X + +
A expresso ainda precisaria ser
simplificada para minimizar o resultado
Cincia da Computao
Prof. Rogerio Maciel
Mapas de Karnaugh
O Mapa de Karnaugh fornece um mtodo
grfico de agrupar expresses com fatores
comuns e eliminar variveis redundantes
O Mapa pode ser visto com uma forma de re-
arranjar a Tabela Verdade, de maneira a
agrupar as linhas em clulas, cuja distncia
da clula vizinha ser sempre de somente uma
unidade
Cincia da Computao
Prof. Rogerio Maciel
Exemplo de Mapa de Karnaugh
Inicialmente, os valores da Tabela
Verdade devem ser transportados
para o Mapa
Cincia da Computao
Prof. Rogerio Maciel
Exemplo 2
Observe como feita a montagem do mapa
para a Tabela Verdade abaixo
Cincia da Computao
Prof. Rogerio Maciel
Exemplo 2
possvel observar que:
No grupo vertical, a varivel Y apresenta sempre o mesmo
valor (0) e X assume os dois valores possveis (0 e 1)
No grupo horizontal, a varivel X apresenta sempre o mesmo
valor (1), enquanto Y assume dois valores
Cincia da Computao
Prof. Rogerio Maciel
Exemplo 2
Para o caso considerado, temos que a
funo booleana simplificada ser
Cincia da Computao
Prof. Rogerio Maciel
Exemplos de Mapas de Karnaugh
Para Tabelas com mais de 2 variveis,
o conceito semelhante
Cincia da Computao
Prof. Rogerio Maciel
Exemplos de Mapas de Karnaugh
Cincia da Computao
Prof. Rogerio Maciel
Agrupamento e simplificao
Depois de montar o mapa, as clulas
podero ser agrupadas, de maneira a
obter uma expresso booleana j
simplificada
Existem diversas regras para o
agrupamento das clulas, que devem
ser respeitadas para que a simplificao
seja feita corretamente
Cincia da Computao
Prof. Rogerio Maciel
Agrupamento
O objetivo do agrupamento de
clulas
1. Obter o menor nmero possvel
de grupos
2. Obter grupos com a maior
quantidade possvel de clulas
no seu interior
Cincia da Computao
Prof. Rogerio Maciel
Regras de Agrupamento
Os grupos no podem incluir clulas
que contenham ZERO
Cincia da Computao
Prof. Rogerio Maciel
Regras de Agrupamento
Os grupos podem ser horizontais ou
verticais, mas nunca diagonais
Cincia da Computao
Prof. Rogerio Maciel
Regras de Agrupamento
Os grupos devem conter 1, 2, 4, 8, 16...
clulas, isto , 2
n
clulas
Cincia da Computao
Prof. Rogerio Maciel
Regras de Agrupamento
Cada grupo deve ser to grande quanto possvel
No recomendvel Recomendvel
Cincia da Computao
Prof. Rogerio Maciel
Regras de Agrupamento
Cada clula que contm valor UM deve
pertencer pelo menos a um grupo
Cincia da Computao
Prof. Rogerio Maciel
Regras de Agrupamento
Os grupos podem se sobrepor
No recomendvel Recomendvel
Cincia da Computao
Prof. Rogerio Maciel
Regras de Agrupamento
Os grupos podem envolver clulas
em torno do mapa
No recomendvel Recomendvel
Cincia da Computao
Prof. Rogerio Maciel
Regras de Agrupamento
Deve haver o menor nmero de
grupos possvel
No recomendvel Recomendvel
Cincia da Computao
Prof. Rogerio Maciel
Regras de Agrupamento - Resumo
Os grupos no podem conter zeros
No so permitidos grupos na diagonal
Somente potncias de 2 no tamanho do grupo
Os grupos devem ser to grandes quanto possvel
Cada valor um deve estar em pelo menos um grupo
Sobreposies de grupos so permitidas
So permitidos grupos em torno do mapa
Trabalhar com o menor nmero possvel de grupos,
se isto no violar qualquer das regras acima.
Cincia da Computao
Prof. Rogerio Maciel
Obteno da Funo Booleana
Cada grupo representa um termo
em uma expresso na forma Soma
de Produtos que ser obtida
Os valores de todas as variveis
nas clulas de cada grupo devem
ser verificados
Cincia da Computao
Prof. Rogerio Maciel
Obteno da Funo Booleana
Os termos da expresso so obtidos da seguinte
maneira:
Se uma varivel tiver o valor 1 em cada clula de um
grupo, ento o termo para esse grupo incluir essa
varivel.
Se uma varivel tiver o valor 0 em cada clula de um
grupo, ento o termo para esse grupo incluir a negao
dessa varivel.
Se uma varivel tiver o valor 0 em algumas clulas de
um grupo e o valor 1 em outras clulas do grupo, ento
o termo para esse grupo no incluir essa varivel.
Cincia da Computao
Prof. Rogerio Maciel
Exemplo 3
A expresso booleana simplifcada para
o mapa indicado acima ser
Cincia da Computao
Prof. Rogerio Maciel
Exemplo 4
A funo booleana ser
Considere o mapa: