Sei sulla pagina 1di 9

3.5. Mapa de Karnaugh.

O mapa de Karnaugh um mtodo grfico, sistemtico, mais rpido e mais


seguro para a obteno da expresso mnima de funes booleanas.
Qual a desvantagem da simplificao algbrica e a vantagem do mapa de
Karnaugh? Embora a simplificao algbrica seja capaz de reduzir qualquer
expresso sua forma mnima, a sua aplicao depende muito da experincia e
mesmo da intuio de cada pessoa para reconhecer os termos que podem ser
combinados, e para aplicar as regras e identidades apropriadas.

3.5.1. Mapa de Karnaugh para Funes na Forma de Soma de Produtos

O mapa de Karnaugh consiste de uma matriz de clulas (quadrados), que


nada mais do que uma outra representao para a tabela-verdade de uma funo
lgica. Cada quadrado no mapa corresponde a um dos mintermos (ou vetores de
entrada na tabela-verdade) da funo. Por exemplo, passar a funo da tabela-
verdade abaixo para o mapa de Karnaugh.

A B S A
0 0 0 B 0 1
0 1 1 0 0 1
1 0 1 1 1 1
1 1 1

O mapa de Karnaugh contm a mesma informao que a tabela-verdade da


funo lgica; dentro de cada quadrado do mapa, escreve-se o valor da funo
correspondente aos valores das variveis na linha e coluna daquele quadrado. De
modo geral, o mapa para funes de duas variveis f(A,B) tem a forma:

A
B 0 1
0 f( A B ) f(A B )
1 f( A B) f(AB)

onde h quatro clulas, correspondentes s quatro combinaes de valores das


duas variveis de entrada. Cada quadrado do mapa identificado pela combinao
de valores das variveis independentes da funo, ao longo das bordas superior e
esquerda do mapa. Cada 1 no mapa significa um valor 1 da funo para aquela
combinao de valores das variveis de entrada. Um 0 no mapa significa que a
funo vale 0 para aquele mintermo, ou seja, que aquele mintermo no existe na
funo.

O mapa de Karnaugh pode ser montado a partir da expresso algbrica da


funo, pelo mesmo processo que se usaria para montar a tabela-verdade dessa
funo. Quando a funo a ser minimizada estiver na forma de soma de produtos
(cannica ou no), ento deve ser colocado um 1 no mapa de Karnaugh para cada
mintermo dela, e 0s nos quadrados dos mintermos que no existem nessa funo.

10
O mapa de Karnaugh para expresses de trs variveis possui 23 = 8 clulas,
e mostrado a seguir, quando ento h oito combinaes de valores de entrada
(oito mintermos).

BC BC BC BC BC
A

A f( A B C ) f( A B C) f( A BC) f( A B C )

A f(A B C ) f(A B C) f(ABC) f(AB C )

ou, na forma como usualmente escrito, o mapa tem a aparncia abaixo:

BC 00 01 11 10
A
0 f( A B C ) f( A B C) f( A BC) f( A B C )
1 f(A B C ) f(A B C) f(ABC) f(AB C )

O mapa desenhado de modo a que os mintermos de quadrados adjacentes,


tanto horizontal quanto verticalmente, sejam diferentes somente no valor de uma
varivel; isto , em um dos quadrados, h uma varivel que negada, e no
quadrado adjacente, a mesma varivel verdadeira, com as demais variveis
mantidas constantes. por isso que os valores do produto BC devem seguir a
seqncia 00, 01, 11, 10.

A linha inferior aquela em que A sempre 1, as duas colunas da direita


so aquelas em que B = 1 e as duas colunas centrais so aquelas em que C = 1.

Exemplo 9: Mapear a expresso na forma cannica: g = (0,3,7).


Resposta:
Expandindo: g = A.B.C + ABC + ABC.

A.B.C ABC

BC 00 01 11 10
A
0 1 0 1 0
1 0 0 1 0

ABC

Como h trs mintermos na funo, ento so colocados trs 1s no mapa.

Agora que j se sabe como mapear uma funo, precisa-se aprender a


simplific-la atravs do mapa de Karnaugh. A simplificao de uma funo no mapa
baseia-se no agrupamento dos 1s adjacentes, na horizontal ou na vertical, que
devem formar um quadrado ou retngulo. S so vlidos grupos de 1, 2, 4, 8, ...,
2n 1s. Cada grupo de 1s formado no mapa vai corresponder a um termo na

11
expresso final da funo, mas elimina-se a varivel, ou as variveis, que mudarem
de valor dentro desse grupo; somente permanecem no termo final minimizado as
variveis que mantiverem o mesmo valor para todos os 1s do grupo.

Formar um grupo no mapa de Karnaugh equivale a fatorar termos de uma


soma de produtos que sejam diferentes em apenas uma varivel, por exemplo:
PA + P A = P(A + A ) = P
onde P qualquer produto de diversas variveis, e A a nica varivel que muda de
um termo para o outro. Termos que so diferentes em apenas uma varivel so
ditos logicamente adjacentes.

Por isso, termos adjacentes logicamente tambm esto adjacentes


graficamente no mapa, isto , em quadrados vizinhos. Assim, o mapa indica
diretamente os termos de uma expresso em soma de produtos que podem ser
combinados e a varivel que pode ser eliminada. por isso que, de um quadrado do
mapa para outro adjacente (na vertical ou na horizontal), somente um bit (uma
varivel lgica) pode variar.

Grupos de 1s no mapa de Karnaugh so chamados de implicantes. Os


principais implicantes em mapas de Karnaugh so:
Par: um grupo de dois quadrados adjacentes em que a funo seja igual a
1. Um par elimina uma varivel.
Quadra: um grupo de quatro 1s adjacentes, em sequncia ou dois a dois.
Dentro de uma quadra, duas variveis mudam de valor e so eliminadas.
Octeto: um grupo de oito 1s adjacentes; elimina trs variveis, que mudam
de valor dentro do octeto.

Todos os 1s presentes no mapa tm que ser cobertos. Quando no for


possvel agrupar um 1 em pelo menos um par, ele deve ser envolvido sozinho,
gerando um mintermo.

Exemplo 10: Simplifique a expresso do Exemplo 9.


Resposta:
g = (0,3,7)

BC 00 01 11 10
A
0 1 0 1 0

1 0 0 1 0

A.B.C BC

Portanto, g A=.BA.C.B.C + BC. Os dois 1s adjacentes indicam dois termos, A BC


A .B .C
e ABC, que podem ser combinados para resultar em BC. A varivel eliminada
aquela que muda de valor dentro do par, pois num quadrado vale 0 e no quadrado
adjacente vale 1. H um 1 que no adjacente a nenhum outro 1 e logo no
pode formar um par, ficando sozinho como um mintermo.

12
O mapa de Karnaugh como um cilindro. Isto , quadrados em uma borda do
mapa so adjacentes a quadrados na borda oposta, pois esses quadrados
correspondem a termos diferentes por apenas uma varivel. Por exemplo, mapear a
funo S = A B + B C :

BC

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

O 1 superior direito pertence a dois pares ao mesmo tempo. So permitidos


implicantes superpostos, ou seja, no momento de envolver-se os grupos,
permitido usar o mesmo 1 em mais de um grupo (par, quadra, octeto, etc.). Assim,
pode haver interseo entre implicantes. Grupos que no tenham interseo com
nenhum outro grupo so chamados de implicantes primos.

Deve-se sempre agrupar 1s adjacentes para formar os maiores grupos


possveis no mapa. Ento deve-se primeiro tentar formar octetos; se no for
possvel, deve-se verificar se possvel formar quadras, caso contrrio forma-se os
pares. Por exemplo, mapear a funo S = (0,1,2,3,6):

A BC

AB
C 00 01 11 10

0 1 1 1 0 S = A + BC

1 1 1 0 0

O termo A forma uma quadra pois h quatro quadrados em que A = 0. No


se deve tentar formar dois pares no lugar da quadra, pois assim a funo obtida no
seria a mnima.

Um octeto no mapa de Karnaugh de trs variveis elimina todas elas, porque


todos os quadrados contm 1s, resultando em uma funo que sempre igual a 1
(f = 1).

O mapa de Karnaugh para funes de quatro variveis tem 16 quadrados,


para as 16 diferentes palavras de entrada de uma funo f(A,B,C,D) qualquer. A
tcnica de minimizao por formao de implicantes continua a mesma. Mas em um
mapa para quatro variveis pode surgir tambm um grupo de dezesseis 1s, isto ,
quando todos os quadrados tenham 1s. Nesse caso, a funo sempre igual a 1.

13
AB
CD 00 01 11 10
00 f( A B C D ) f( A B C D ) f(AB C D ) f(A B C D )
01 f( A B C D) f( A B C D) f(AB C D) f(A B C D)
11 f( A B CD) f( A BCD) f(ABCD) f(A B CD)
10 f( A B C D ) f( A BC D ) f(ABC D ) f(A B C D )

Exemplo 11: Minimizar a funo abaixo pelo mapa de Karnaugh.


S = (1,3,5,7,8,9,10,13)
Resposta:
AD CD AB C

AB
CD 00 01 11 10 AB D
00 0 0 0 1
01 1 1 1 1
11 1 1 0 0
10 0 0 0 1
S = A B C + A B D + AD + CD

Cada termo tirado do mapa composto pelas variveis que mantm o mesmo valor
em todos os quadrados de seus grupos. Em princpio, tem-se duas quadras e dois
pares. Mas observe que o par correspondente ao termo A B C no possui um nico
1 que seja exclusivamente seu; todos os 1s desse par j pertencem a outros
grupos (a outro par e a uma quadra). Assim, o termo A B C redundante e deve ser
eliminado da funo. Portanto, a resposta correta para esse exerccio

S = A B D + AD + CD

Grupos redundantes so grupos cujos 1s j pertencem todos a outros


grupos, isto , eles no tm nenhum 1 somente deles. Deve-se prestar muita
ateno para os agrupamentos formados no mapa, para no passarem grupos
redundantes para a expresso final. Para um implicante ser vlido, ele deve conter
pelo menos um 1 que no possa ser coberto de nenhuma outra maneira.

Roteiro para Uso do Mapa de Karnaugh:

1 Escreva 1s nos quadrados do mapa que correspondam aos produtos presentes


na expresso lgica, ou a vetores de entrada que produzam uma sada 1 da tabela-
verdade. Introduzir 0s nos lugares que sobrarem no mapa.

2 Envolver os grupos de 1, 2, 4, 8, ...2n quadrados com 1s, superpondo


implicantes onde for possvel, para formar sempre os maiores grupos possveis de
1s. obrigatrio envolver todos os 1s presentes no mapa.

3 Eliminar grupos redundantes, se houver.

14
4 Para cada grupo de 1s formado, o termo minimizado correspondente dado
pelo produto (AND) das variveis que mantm o mesmo valor em todos os
quadrados do grupo.

5 Escrever a equao booleana, como uma soma lgica (OR) dos produtos
correspondentes aos grupos envolvidos.

s vezes, surge mais de uma alternativa de agrupar os 1s no mapa,


formando grupos diferentes mas de mesmo tamanho. Nesse caso, resultam
expresses diferentes porm equivalentes, e qualquer escolha de grupos estar
correta (desde que obedea s regras de uso do mapa acima).

Exemplo 12: Minimizar a funo pelo mapa de Karnaugh. uma funo de quantas
variveis?
S = (0,1,3,5,7,8,10)
Resposta:
Trata-se de uma funo de quatro variveis.
ABC AD
AB
CD 00 01 11 10
AB D
00 1 0 0 1
01 1 1 0 0
11 1 1 0 0
10 0 0 0 1
S = A B D + AD + A B C

Os grupos poderiam ser envolvidos de outra forma, fazendo-se um par entre os


mintermos 0 e 8. Ento h outra soluo igualmente correta:
S = A B D + AD + B C D

Exemplo 13: Minimizar a funo f(A,B,C,D) pelo mapa de Karnaugh.


f(A,B,C,D) = A B C + A C D + A B C + A B C + A B C D
Resposta:
AB ACD
AB
CD 00 01 11 10
00 1 0 0 1
01 1 0 1 1
11 1 0 0 0
10 1 0 0 1

B.D

S = A B + B D + ACD = B ( A + D ) + ACD = B AD + ACD

A expresso para simplificar no est na forma cannica, e nem precisa estar.


Basta preencher o mapa como se preencheria a tabela-verdade, lembrando que

15
termos como A B C correspondem a dois mintermos, A B C D e A B C D , e a dois
quadrados adjacentes. Os quatro cantos do mapa formam uma quadra, B D .

3.5.2. Mapa de Karnaugh para Funes na Forma de Produto de Somas

Dada uma expresso na forma de produto de somas, utiliza-se novamente a


dualidade para simplific-la atravs do mapa de Karnaugh. Para preencher o mapa,
utiliza-se um procedimento idntico ao da montagem de sua tabela-verdade:
considera-se uma varivel normal x como sendo 0, e x como sendo 1. Cada fator
do produto que seja um maxtermo corresponde a um nico nmero binrio, e
portanto a somente um quadrado no mapa de Karnaugh. Fatores que no so
maxtermos correspondem a dois, quatro, etc. quadrados do mapa, conforme esses
fatores no possuam uma, duas, etc. das variveis da funo. Para os fatores
pertencentes expresso, coloca-se um 0 no mapa, e os quadrados restantes
recebem 1.
Com o mapa preenchido, agrupa-se os 1s em pares, quadras, etc.
normalmente, chegando-se a uma expresso irredutvel de soma de produtos. Este
mtodo agiliza bastante a minimizao de produtos de somas, e sua justificativa vem
do Princpio da Dualidade.

Exemplo 14: Simplifique a expresso no mapa de Karnaugh.


S = (A + B + C)( A + B + C + D)(A + C + D )( B + C + D)
Resposta:

AB
CD 00 01 11 10 S = A C D + BC D + B C D + A B C + AD
00 0 0 0 1 ou
01 0 1 1 1 S = A C D + B(C D) + A( B C + D)
11 0 0 1 1
10 1 1 1 0

Esta uma das duas respostas certas; outro par poderia ser formado,
levando a outra soluo equivalente.

3.5.3. Condies Irrelevantes: dont care (no importa)

Em projetos de circuitos digitais, s vezes no importa qual o valor da sada


para uma dada palavra de entrada. Em outras vezes, existem certas palavras de
entrada de um circuito digital que no podem ocorrer, e uma funo s precisa ser
definida para aquelas entradas que podem de fato acontecer. Esses so casos de
funes especificadas incompletamente.

Para indicar essas situaes na tabela-verdade da funo, usa-se um X em


vez de 0 ou 1. Os Xs so sadas irrelevantes ou indeterminadas, e so
chamados, juntamente com as palavras de entrada correspondentes, de dont
cares ou no importa.

16
A tabela-verdade a seguir define uma funo especificada incompletamente:
ou as combinaes de entrada 100 e 101 no podem ocorrer, ou elas podem ocorrer
mas os valores da funo so irrelevantes para elas. De qualquer modo, nesses
casos usa-se Xs para as sadas. A nica maneira de obter-se a expresso mnima
de f por mapa de Karnaugh.

A B C f
0 0 0 0
0 0 1 1
0 1 0 1
0 1 1 0
1 0 0 X
1 0 1 X
1 1 0 1
1 1 1 0

Para a simplificao desse tipo de funo em mapas de Karnaugh, pode-se


tirar vantagem dos dont cares na minimizao da funo: pode-se agrupar Xs com
1s para formar os maiores grupos possveis. Cada X pode ser considerado como
valendo 0 ou 1, conforme for melhor para minimizar a funo lgica.

BC
A 00 01 11 10
0 0 1 0 1 f = BC BC = B C
1 X X 0 1

A regra : envolver os Xs em grupos junto com 1s se isto formar grupos


maiores, mas no se isto formar mais grupos. Um grupo no pode ser formado
somente por causa de Xs, todo grupo ainda precisa ter pelo menos um 1
exclusivamente seu para ser vlido.

Exemplo 15: Encontrar a expresso mnima para a seguinte funo no mapa de


Karnaugh.

AB
CD 00 01 11 10
00 1 0 1 0

01 1 1 1 0
11 X X X X

10 X X X X

Resposta: S = BD + A B (formam-se trs quadras no mapa)

Combinaes de entrada no utilizadas podem surgir, por exemplo, na


interconexo de dois circuitos digitais:

17
A
F
B H
G
C

O primeiro subsistema recebe os sinais A, B e C e gera os sinais F e G, de


acordo com a tabela-verdade abaixo, onde nota-se que F e G so funes
completamente especificadas de A, B e C. F e G sero as entradas para o segundo
circuito.
A B C F G
0 0 0 0 0
0 0 1 1 0
0 1 0 0 0
0 1 1 1 1
1 0 0 0 0
1 0 1 0 0
1 1 0 1 1
1 1 1 1 1

Mas a combinao de F=0 e G=1 no gerada pelo primeiro subsistema, e


assim torna-se um dont care para o projeto do segundo subsistema. Para ele,
uma combinao de entrada que no ocorre.

3.6. Funes Booleanas com n Variveis


Um mapa de trs variveis consiste de dois mapas de duas variveis
colocados lado a lado. Um mapa de quatro variveis consiste de dois mapas de trs
variveis, colocados um em cima do outro. Da mesma forma, um mapa de cinco
variveis ir consistir de dois mapas de quatro variveis sobrepostos, formando um
arranjo espacial.
Portanto, um mapa de n variveis feito de dois mapas de (n 1) variveis
colocados adjacentes. Mas no se utiliza o mtodo dos mapas de Karnaugh para
funes de mais de cinco variveis. Nesses casos, mtodos mais elaborados ou
programas de computador so empregados.

18

Potrebbero piacerti anche