Eletrnica Digital Material Adicional (Mapa de Karnaugh)

DISCIPLINA

Tpico Adicional -Simplificao de Expresses Lgicas Diagrama de Veitch-Karnaugh

Simplificao de Expresses e Circuitos atravs do Diagrama (Mapa) de VeitchKarnaugh Este documento aborda a simplificao de expresses por meio de diagramas de VeitchKarnaugh. Aps o estudo, iremos observar que chegaremos mais facilmente expresso mnima utilizando este mtodo. 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). Portanto, o mapa de Karnaugh tem tantas clulas quanto o nmero de linhas de uma tabela-verdade. Num Mapa 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. 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 1 AB = 10 1 AB = 11 1

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) 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. 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). 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). Observaes: 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. A primeira

soluo ser a utilizada, predominantemente, nesta disciplina. Normalmente, a resoluo por sadas iguais a 0 s utilizada quando apenas um enlace formado. Se o mapa possui apenas um enlace, a expresso da sada ter apenas um termo (produto ou soma). O nmero de clulas que pode fazer parte de um enlace est tambm relacionado com a equao 2n ( sabendo que n varia de 0 ao nmero de variveis do mapa considerado). 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. Quanto maior o enlace, menor o termo correspondente e, portanto, mais simplificada fica a expresso booleana do mapa de Karnaugh considerado. Dois enlaces podem ter uma clula em comum. Quanto menor o nmero de enlaces, menos termos tem a expresso booleana do mapa de Karnaugh considerado e, portanto, mais simplificada ela fica; 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, ou seja, de forma que os enlaces se tornem maiores para que seus termos correspondentes se tornem menores. 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.

Finalmente, com os conceitos de adjacncia e enlace conhecidos, pode-se partir para a construo dos mapas de Karnaugh e sua aplicao na simplificao de expresses booleanas. Mapas de Karnaugh para Duas Variveis O mapa de Karnaugh para duas variveis (S = f (A,B)) formado por quatro clulas (22 = 4), dispostas de acordo com a figura abaixo. Tabela Verdade A B Minitermos 0 0 m0 = A B 0 1 m1 = A B 1 1 0 1 Mapa de Karnaugh

B m0

B
m1
m3

m 2 =A B m3 = A B

A m2

Com duas variveis possvel formar vrias regies (enlaces), como por exemplo: Regio A B = 1 Regio A B = 1 Regio A B = 1 Regio A B = 1

B A

B
m1 m3

m0 m2

B B A m0 m1

B B A m0 m1

B B A m0 m1

A m2 m3
Regio A = 1

A m2 m3
Regio B = 1

A m2 m3
Regio B = 1

Regio A = 1

B A

B
m1 m3

m0 m2

B B A m0 m1

B B A m0 m1

B B A m0 m1

A m2 m3

A m2 m3

A m2 m3

Logo, notamos que cada linha da tabela-verdade possui sua regio prpria no diagrama de Karnaugh. Essas regies so portanto os locais onde devem ser colocados os valores que a expresso assume nas diferentes possibilidades.

Passos para Simplificao: formar pares; formar termos isolados; a expresso simplificada ser o somatrio das regies (enlaces) encontradas. Para entendermos melhor o significado desse conceito, observe os exemplos apresentados a seguir para duas variveis:

B B A 1

B B A
1 S= A .B

B B A A
1

B B

A
S= A . B

A 1
S=A.B S=A. B

B B A 1 1

B B A

B B A

A
S= A

1 1

B B A 1

A 1
S=B

A 1
S= A S= B

B B A

A 1

1 1

B B A 1

B B A 1 1

B B A 1 1

A 1

A 1
S= A + B

1 S= A + B

S=A + B

S=A + B

B B A
1

B B A
1 1

B B A

B B A

A 1
S= A B + A B ou S=A B

1 1

1 1

A
S=1 S=0

S=AB + A B ou S=A B

Condio Irrelevante: Sempre que uma ou mais sadas forem irrelevantes, cada uma delas deve ser considerada 0 ou 1 de acordo com a convenincia, ou seja, de forma que os enlaces se tornem maiores para que seus termos correspondentes se tornem menores. Assim, o uso da sada irrelevante (pode assumir qualquer valor , 0 ou 1) em um enlace pode simplificar ainda mais a expresso booleana final.

B B A X
1

B B A 1

A
S= A

A X 1
S=A + B

Exerccio Resolvido: Dada a tabela-verdade abaixo, obtenha a expresso simplificada utilizando o Diagrama de Veitch-Karnaugh. Tabela-verdade A 0 0 1 1 B 0 1 0 1 S 0 1 1 1

Soluo: Mapa de Karnaugh:

B A

B
1 1

S=A+B

Mapas de Karnaugh para Trs Variveis O mapa de Karnaugh para trs variveis (S = f(A,B,C)) formado por oito clulas (23 = 8) dispostas como mostra a figura a seguir: Tabela-Verdade A 0 0 0 0 1 1 1 1 Mapa de Karnaugh B 0 0 1 1 0 0 1 1 C 0 1 0 1 0 1 0 1 Minitermos m0 = A B C

m1 = A B C m 2 =A B C
m3 = A B C

m 4 =A B C
m 5 =A B C m 6 =A B C

m7 = A B C

B A

B
m3 m7
C

A
C

m0 m4

m1 m5

m2 m6

Com trs variveis possvel formar vrias regies (enlaces), como por exemplo: Regio A B C = 1

B A

A
C

m0 m4

m1 m3 m2 m5 m7 m6 C

B B A m0 m1 m3 m2 A m4 m5 m7 m6
C

Regio A B C = 1

Regio A B C = 1

B B A m0 m1 m3 m2 A m4 m5 m7 m6
C

C
B

Regio B C = 1

A
C

m0 m4

m1 m3 m2 m5 m7 m6
C

B B A m0 m1 m3 m2 A m4 m5 m7 m6
C

Regio B C = 1

Regio B C = 1

B B A m0 m1 m3 m2 A m4 m5 m7 m6
C

C
B

C
B

C
B A

Regio A = 1

Regio A = 1

B
A

B A
C C

Regio B = 1

A
C

m0 m4

m1 m3 m2 m5 m7 m6 C

A
C

m0 m1 m3 m2 m4 m5 m7 m6

m0 m1 m3 m2 m4 m5 m7 m6

Passos para Simplificao: formar quadras; formar pares; formar termos isolados; a expresso simplificada ser o somatrio das regies (enlaces) encontradas. Para entendermos melhor o significado desse conceito, observe os exemplos apresentados a seguir para trs variveis:

B A

B
A

B
1

B
1 C S= A . C

B A
1

B
1 C S= A . C

A
C

1 1

A
C S= B . C C

A
C
C

B A

B
1 1
C

B A

B
1 1
C

B
1 1

B
1 1
C

A
C

1 1

A
C

1 1

A
C

1 1

S=C

S=B + C

S= C

B A
1 1

B
1 C 1

B A

B
A
1 C 1

B
1 1 C 1 1

A
C

A
C
C

A
C

1 1

1 1

S= A Condio Irrelevante:

S=A

S=1

B A

B
1
C

B
1

B
A

B
C

A
C

1 X

1
C

A
C

A
C
C

1 1

1 X S= B

S= A

S= A . B

Exerccio Resolvido: Dada a tabela-verdade abaixo, obtenha a expresso simplificada utilizando o Diagrama de Veitch-Karnaugh. Tabela-verdade A 0 0 0 0 1 1 1 1 B 0 0 1 1 0 0 1 1 C 0 1 0 1 0 1 0 1 S 1 1 0 1 0 1 0 1

Soluo: Mapa de Karnaugh:

B A
1

B
1 1 1 1
C

A
C

S=C+ A . B Mapas de Karnaugh para Quatro Variveis O mapa de Karnaugh para quatro variveis (S = f (A,B,C,D)) formado por dezesseis clulas (24 = 16) dispostas como mostra a figura a seguir: Tabela-verdade A 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 B 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 1 C 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 D 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 Minitermos m0 = A B C D

m1 = A B C D m2 =A B C D
m3 = A B C D

m4 =A B C D
m 5 =A B C D m 6 =A B C D m7 = A B C D m 8 =A B C D m 9 =A B C D m1 A BC D 0 =

m 11 = A B C D m12 = A B C D
m 13 =A B C D

m14 = A B C D m15 = A B C D

Mapa de Karnaugh:
C

m0 m4 m12 m8

m1 m5 m13 m9 D

m3 m7 m15 m11

m2 m6 m14 m10

B
B

Com quatro variveis possvel formar vrias regies (enlaces), como por exemplo: Regio A B C D = 1 C C m0 m1 m3 m2 B m4 m5 m7 m6 B m12 m13 m15 m14 m8 m9 m11 m10 B D D D Regio A B C = 1 C C m0 m1 m3 m2 B m4 m5 m7 m6 B m12 m13 m15 m14 m8 m9 m11 m10 B D D D Regio A B = 1 C C m0 m1 m3 m2 B m4 m5 m7 m6 B m12 m13 m15 m14 m8 m9 m11 m10 B D D D Regio A = 1 C C Regio A B C D= 1 C C m1 m3 m2 B m5 m7 m6 B m13 m15 m14 m9 m11 m10 B D D Regio A C D = 1 C C m1 m3 m2 B m5 m7 m6 B m13 m15 m14 m9 m11 m10 B D D Regio C D= 1 C C m1 m3 m2 B m5 m7 m6 B m13 m15 m14 m9 m11 m10 B D D Regio C = 1 C C

m0 m4 m12 m8

m0 m4 m12 m8

m0 m4 m12 m8

m0 m4 m12 m8

m1 m5 m13 m9 D

m3 m7 m15 m11

m2 B m6 B m14 m10 B

m0 m4 m12 m8

m1 m3 m5 m7 m13 m15 m9 m11 D

m2 m6 m14 m10

B
B

Passos para Simplificao: formar oitavas; formar quadras; formar pares; formar termos isolados; a expresso simplificada ser o somatrio das regies (enlaces) encontradas.

Para entendermos melhor o significado desse conceito, observe os exemplos apresentados a seguir para quatro variveis: C 1 1

C
1 1

C
B
B

B
B

A
D
D S= A .D
C 1 1

1 D

B D D D
S=A . B
C

C
1 1 1 1

C
1 1 1 1 D

B
B

A
D
D

B D
S= A .D + A .C C 1 1 1 1 D S=D
C 1 1 1 1 D

1 1 1 1

B
B

D
S= D

C
1 1 1 1

C
1

B
B

B
B

A
D

A
1 1 D S= B . D

B D

C
1 1 1 1

1 1 1 1

B
B

C 1

C
1

B
B

A
1 1 D S= B .D

B D D

B D

S= A + C Condio Irrelevante:

A
D

C 1 X X 1 D S=D

C
1 1 1 1

B
B

C 1

C
1 X

B
B

A
X 1 D S= B 1 X

B D

Exerccio Resolvido: Dada a tabela-verdade abaixo, obtenha a expresso simplificada utilizando o Diagrama de Veitch-Karnaugh. Tabela-verdade A 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 B 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 1 C 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 D 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 S 0 1 1 1 0 1 0 1 1 1 0 1 1 1 0 1

Soluo: Mapa de Karnaugh:

C

C
1 1 1 1 D 1 1 1 1 1

B
B

1 1

B D

S = D + A. C + A . B .C Mapas de Karnaugh acima de 4 variveis Como visto os mapas de Karnaugh possuem estruturas e aplicaes bastante simples. Porm para nmero de variveis acima de quatro, faz-se necessrio a construo de mltiplos mapas de quatro variveis (MK4) e o uso (ou abstrao) de ilhas (ou vizinhanas) tambm entre MK4s. A seguir, so apresentados exemplos de M.K. de cinco variveis. Mapas de Karnaugh para 5 variveis O mapa de Karnaugh para cinco variveis (S = f (A,B,C,D,E)) formado por trinta e duas clulas (25 = 32) dispostas como mostra a figura a seguir. Tabela Verdade A B C D E Minitermos

10

0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 Mapa de Karnaugh

0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1

0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 1

0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1

0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1

m0 = A B C D E

m1 = A B C D E m2 =A B C D E
m3 = A B C D E

m4 =A B C D E
m 5 =A B C D E m 6 =A B C D E m7 = A B C D E m8 =A B C D E m 9 =A B C D E m1 AB CD E 0 =

m 11 = A B C D E m 12 = A B C D E
m 13 = A B C D E

m 14 = A B C D E
m15 = A B C D E m 16 = A B C D E m 17 = A B C D E m1 A B CD E 8 = m 19 = A B C D E m2 A BCD E 0 =

m2 1 =A B C D E m 22 =A B C D E
m 23 = A B C D E

m 24 = A B C D E
m 25 =A B C D E m2 AB CD E 6 = m 27 =A B C D E m 28 =A B C D E m 29 =A B C D E m 30 =A B C D E

m 31 = A B C D E D B
m16 m20 m28 m24 m17 m21 m29 m25

D B
m0 m4 m12 m8 m1 m5 m13 m9

D
m3 m7 m15 m11 m2 m6 m14 m10
C

A A
C C

D
m19 m23 m31 m27 m18 m22 m30 m26
C

C C

E E exemplo: Com cinco variveis possvel formar vrias regies (enlaces), como por Regio A B C D E = 1

D B
m0 m4 m1 m5

D
m3 m7 m2 m6 C

A A

D B
m16 m20 m17 m21

D
m19 m23 m18 m22 C C

11

m12 m8

m13 m9 E

m15 m11

m14 m10

B
C

m28 m24

m29 m25 E

m31 m27

m30 m26

E
Regio B C D E = 1

D B
m0 m4 m12 m8 m1 m5 m13 m9 E

D
m3 m7 m15 m11 m2 m6 m14 m10

A A

D B
m16 m20 m28 m24 m17 m21 m29 m25 E

D
m19 m23 m31 m27 m18 m22 m30 m26
C

C C

C C

E
Regio A C E = 1

D B
m0 m4 m12 m8 m1 m5 m13 m9 E

D
m3 m7 m15 m11 m2 m6 m14 m10 C

A A

D B
m16 m20 m28 m24 m17 m21 m29 m25 E

D
m19 m23 m31 m27 m18 m22 m30 m26 C C
C

E
Regio C E = 1

D B
m0 m4 m12 m8 m1 m5 m13 m9 E

D
m3 m7 m15 m11 m2 m6 m14 m10
C

A A

D B
m16 m20 m28 m24 m17 m21 m29 m25 E

D
m19 m23 m31 m27 m18 m22 m30 m26
C

C C

C C

E
Regio A = 1

D B
m0 m4 m12 m8 m1 m5 m13 m9 E

D
m3 m7 m15 m11 m2 m6 m14 m10 C C
C

A A B
m16 m20 m28 m24

D
m17 m21 m29 m25 E

D
m19 m23 m31 m27 m18 m22 m30 m26 C C
C

Passos para Simplificao: formar hexas; formar oitavas; formar quadras; formar pares; formar termos isolados; a expresso simplificada ser o somatrio das regies (enlaces) encontradas. Para entendermos melhor o significado desse conceito, observe os exemplos apresentados a seguir para cinco variveis:

D B

D
1 1 C C

A A B

D
C 1 1 C

12

E
S = A . B .D.E + A.B.C

D B
1 1

D
C C
C

A A B

D
1 1

D
C C
C

B
E

B
E
S = C. D .E

Exerccio Resolvido: Dada a tabela-verdade abaixo, obtenha a expresso simplificada utilizando o Diagrama de Veitch-Karnaugh. Tabela-verdade A B C 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 1 0 1 0 0 1 0 0 1 0 0 1 0 0 1 1 0 1 1 0 1 1 0 1 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 1 1 0 1 1 0 1 1 0 1 1 1 0 1 1 0 1 1 0 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 Soluo: Mapa de Karnaugh: D 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 E 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 S 1 0 0 1 1 1 0 1 1 1 1 0 0 1 1 0 0 0 0 0 0 1 1 0 0 0 0 0 1 1 1 1

D B
1 1 1

D
1 1
C

A A
C

D B
1

D
C

13

B
1

1 1 E

1 1

B
C

1 E

1
C

S =C DE + A B C + A B D E + AB C D + AB D E + A BD E +A C D E

Quadro Resumo: Diagramas (Mapas) de Karnaugh 2 variveis

B A

A
3 variveis

B A

B
C

A
C

4 variveis C

C
B
B

A
D
5 variveis D

B D

D B

D
C

A A
C C

D B

D
C

B
E
E

B
E
E

C C

Observaes: importante notar que uma oitava agrupada representa maior simplificao que uma quadra e uma quadra agrupada maior simplificao que um par e este maior simplificao que um termo isolado. Portanto, deve-se preferir agrupar em oitava, e se no for possvel em quadras e se tambm no for possvel, em pares, mesmo que alguns elementos j tenham sido considerados

14

em outros agrupamentos, lembrando sempre, que devemos ter o menor nmero de agrupamentos possveis. fcil perceber que para mais de cinco variveis, o processo de minimizao utilizando Mapas de Karnaugh fica difcil de ser executado, pois, a montagem do mapa trabalhosa e a visualizao das adjacncias um pouco mais complicada. Para estas situaes, utilizam-se outros mtodos ou, ento, outros dispositivos eletrnicos que so capazes de implementar circuitos lgicos sem a necessidade de minimizao da expresso booleana correspondente. Casos que no admitem simplificao: as funes Ou Exclusivo e Coincidncia. Exemplos:

B B A
1

S=AB

A 1
B A
1 1 1

B
1
C

A
C

S=ABC

Para um nmero par de variveis: funo OU Exclusivo complementar funo Coincidncia e para um nmero mpar de variveis: funo OU Exclusivo igual funo Coincidncia. Como dito anteriormente, podemos utilizar o Mapa de Karnaugh considerando os casos em que a expresso nula (os zeros do mapa). Desta forma, podemos tomar o complemento da funo S, bastando, apenas, inverter a sada. Isso nada mais do que utilizarmos o Teorema de De Morgan, como mostra o exemplo a seguir: Exemplo:

B B A 0

A 1

1 1

S =A B S =A B S =A +B

Existem outras formas de elaborao do Mapa de Karnaugh, como por exemplo: Mapa de Karnaugh para 4 variveis (S=f(A,B,C,D)) CD 00 AB 00 01 11 10 01 11 10

15