Sistemas Digitais Mapa de Karnaugh

Mapa de Karnaugh
1) Introduo
Embora a representao de uma funo lgica pela Tabela Verdade seja nica, expressa algebricamente, ela pode aparecer em vrias formas diferentes. As funes Booleanas podem ser simplificadas por mtodos algbricos (lgebra de Boole), mas esta forma de simplificao muito penosa e no sistemtica, isto , no h um nico e seguro caminho a seguir, passo a passo, para se alcanar a melhor simplificao. O mtodo do mapa fornece um procedimento simples e direto para a minimizao de expresses Booleanas. O mtodo do mapa foi inicialmente proposto por Veitch e depois modificado por Karnaugh, sendo conhecido como Diagrama de Veitch ou por Mapa de Karnaugh. O Mapa de Karnaugh composto de clulas quadradas, dispostas em linhas e colunas, sempre em nmeros de potncias de 2 (2, 4, 8, 16, 32 clulas, etc), sendo esta potncia igual ao nmero de variveis que compem a funo lgica. Os mapas mais comuns possuem 4, 8 ou 16 clulas, correspondentes a funes de 2, 3 e 4 variveis, respectivamente. Para diagramas com mais de 16 clulas, se torna mais difcil a visualizao das possveis simplificaes. O Mapa de Karnaugh descreve os estados da sada de um circuito lgico tal como descrito nas Tabelas Verdade. Portanto, possvel, com facilidade, transferirem-se as informaes da TV para o Mapa.

2) Mapas de Karnaugh para 2 variveis.

As expresses Lgicas que estudamos at aqui, so escritas na forma de somas de produtos. Os termos de produtos so chamados mintermos, e representam a intercesso entre dois ou mais conjuntos. No mapa de Karnaugh, estes conjuntos so compostos sempre pelos termos que possuem uma certa varivel com o valor 1 (V) ou varivel com o valor 0 (V'). No mapa da figura 1, a primeira linha corresponde ao conjunto em que a varivel A sempre igual a 0, enquanto a segunda linha, corresponde ao conjunto em que a varivel A sempre igual a 1. A primeira coluna corresponde ao conjunto em que a varivel B sempre igual a 0, enquanto a segunda coluna, corresponde ao conjunto em que a varivel B sempre igual a 1. A interseo entre o conjunto A e o conjunto B' corresponde clula 2, A=1, B=0, isto , ao mintermo AB'. B' m0 m2 B m1 m3

A' A

Agora podemos transcrever uma TV para o Mapa, escrevendo em cada clula, o estado da sada correspondente s variveis de entrada dos respectivos mintermos. A primeira linha da tabela, A=0 B=0, corresponde a m0; a segunda linha, A=0 B=1, corresponde a m1,

Prof. Joo Giacomin DCC - UFLA 2007

Sistemas Digitais Mapa de Karnaugh

a terceira linha corresponde a m2 e a terceira linha corresponde a m3. Vejamos os dois exemplos seguintes. Exemplo 1: A 0 0 1 1 B 0 1 0 1 S 0 0 0 1

Transcrevendo esta tabela para o mapa, obtemos: B' 0 0 B 0 1

A' A

Para fazer a simplificao, devemos agrupar o maior nmero (2n) de clulas contendo 1, seguindo agrupamentos no sentido horizontal e vertical, nunca diagonal. Neste exemplo, s temos uma clula (20) contendo 1, e esta corresponde intercesso dos conjuntos A e B. Portanto, podemos escrever a expresso da sada como: S = AB. Isto era esperado, visto que a TV apresentada corresponde a uma porta E de duas entradas. Exemplo 2: A 0 0 1 1 B 0 1 0 1 S 1 1 0 1

Transcrevendo esta tabela para o mapa, obtemos: B' 1 0 B 1 1

A' A

Neste exemplo, temos 3 clulas contendo 1, e podemos fazer dois grupos de 2 clulas, desde que tomemos o mintermo m2 (A=0, B=1) nos dois grupos. Na simplificao pelo Mapa de Karnaugh, podemos utilizar um mintermo em vrios agrupamentos, mas no podemos deixar nenhum mintermo que tenha o valor 1 sem grupo. Se um mintermo no puder ser agrupado, devemos tom-lo sozinho, fazendo um grupo de uma clula apenas. A figura abaixo mostra como agrupar os mintermos do mapa de Karnaugh deste exemplo. B' 1 0 B 1 1

A' A

Prof. Joo Giacomin DCC - UFLA 2007

Sistemas Digitais Mapa de Karnaugh

Vemos, portanto, que existem dois grupos de duas clulas cada, sendo que o primeiro (vermelho) corresponde ao conjunto dos mintermos que tm A=0 (A'), e o segundo (azul) corresponde ao conjunto dos mintermos que tm B=1 (B). Qualquer dos dois conjuntos satisfaz condio S=1, logo podemos escrever a expresso da sada como: S = A' + B.

3) Exerccio 1: Verifique, atravs do Mapa de Karnaugh, que a tabela abaixo corresponde a uma porta NAND. Lembre de DeMorgan. A 0 0 1 1 B 0 1 0 1 S 1 1 1 0

Mapa de Karnaugh de 3 e de 4 variveis

1) Mapa de 3 variveis
Um mapa de Karnaugh de 3 variveis obtido dividindo-se cada clula do mapa de 2 variveis ao meio. Assim cada bloco divido ter uma clula correspondente varivel (V=1) e uma clula correspondente ao complemento da varivel (V=0). Abaixo est representado um mapa cujas variveis de entrada so A,B,C. B' C' C' B C C

A' A

C C

C' C'

De outra forma podemos representar o mapa identificando as linhas e coluna correspondente a cada estado das variveis e escrever estes estados no interior das clulas, na ordem ABC. B' A' A 000 100 C' 001 101 C 011 111 B 010 110 C'

Prof. Joo Giacomin DCC - UFLA 2007

Sistemas Digitais Mapa de Karnaugh

Agora verificamos que o conjunto correspondente aos estados de cada varivel so compostos de 4 clulas. O conjunto de A', isto , onde A=0 B' A' A 000 100 C' 001 101 C 011 111 B 010 110 C'

O conjunto de A, isto , onde A=1 B' A' A 000 100 C' 001 101 C 011 111 B 010 110 C'

O conjunto de B', isto , onde B=0 B' A' A 000 100 C' 001 101 C 011 111 B 010 110 C'

O conjunto de B, isto , onde B=1 B' A' A 000 100 C' 001 101 C 011 111 B 010 110 C'

O conjunto de C, isto , onde C=1 B' A' A 000 100 C' 001 101 C 011 111 B 010 110 C'

O conjunto de C', isto , onde C=0 B' A' A 000 100 C' 001 101 C 011 111 B 010 110 C'

Deve-se observar o detalhe de que o bloco de quatro clulas correspondente a C' est dividido em dois blocos de 2 clulas, mas pode ser agrupado ao se fazer a simplificao da expresso booleana.
Prof. Joo Giacomin DCC - UFLA 2007 4

Sistemas Digitais Mapa de Karnaugh

Alm dos agrupamentos em blocos de 4 clulas, podemos obter simplificaes pelo agrupamento de 2 clulas. Bloco A'B'
B' A' A 000 100 C' 001 101 C 011 111 B 010 110 C'

Bloco A'B
B' A' A 000 100 C' 001 101 C 011 111 B 010 110 C'

Bloco AB'
B' A' A 000 100 C' 001 101 C 011 111 B 010 110 C'

Bloco B'C'
B' A' A 000 100 C' 001 101 C 011 111 B 010 110 C'

Bloco BC
B' A' A 000 100 C' 001 101 C 011 111 B 010 110 C'

Bloco A'C
B' A' A 000 100 C' 001 101 C 011 111 B 010 110 C'

Bloco AC'
B' A' A 000 100 C' 001 101 C 011 111 B 010 110 C'

Existem mais 5 blocos de 2 que o aluno dever identificar: AB, B'C, BC', A'C' e AC.

Prof. Joo Giacomin DCC - UFLA 2007

Sistemas Digitais Mapa de Karnaugh

Se no for possvel fazer agrupamentos, cada clula ser identificada pelo produto das trs variveis, como no exemplo abaixo. Bloco ABC'
B' A' A 000 100 C' 001 101 C 011 111 B 010 110 C'

Vejamos um exemplo: Identificadores de nmeros primos de 0 a 7. Inicialmente montaremos a Tabela Verdade. Dec 0 1 2 3 4 5 6 7 A 0 0 0 0 1 1 1 1 Binrio B 0 0 1 1 0 0 1 1

C 0 1 0 1 0 1 0 1

S 0 0 1 1 0 1 0 1

A expresso lgica da sada, S, em funo das entradas A, B, C :

S = A'B'C + A'BC + AB'C + ABC

Devemos, agora, usar o mapa de Karnaugh para simplificar a expresso lgica do identificador de nmeros primos: B' A' A 0 0 C' 0 1 C 1 1 B 1 0 C'

Podemos formar 3 grupos de duas clulas, a saber: A'BC + A'BC' = A'B AB'C + ABC = AC A'BC + ABC = BC Assim podemos escrever a expresso simplificada da sada como: S = A'B + AC + BC

Prof. Joo Giacomin DCC - UFLA 2007

Sistemas Digitais Mapa de Karnaugh

O terceiro termo, BC, foi obtido da simplificao dos mintermos AB'C e ABC, os quais j esto presentes nos outros dois termos, A'B e AC, portanto BC um termo desnecessrio, podendo a expresso final da sada ser escrita como: S = A'B + AC. O circuito digital simplificado do identificador de nmeros primos o da figura abaixo. Faa a tabela verdade deste circuito e verifique que coincide com a primeira tabela verdade que foi feita neste exemplo.

2) Mapa de 4 variveis
Um mapa de Karnaugh de 4 variveis obtido dividindo-se cada clula do mapa de 3 variveis ao meio. Assim cada bloco divido ter uma clula correspondente varivel (V=1) e uma clula correspondente ao complemento da varivel (V=0). Abaixo est representado um mapa cujas variveis de entrada so A,B,C,D. Os estados das variveis so escritos dentro de cada clula na ordem ABCD.
A' A C' 0000 0100 1100 1000 D' C 0001 0101 1101 1001 D 0011 0111 1111 1011 0010 0110 1110 1010 D' B' B B'

Verifique que a clula ABC' foi dividida em duas novas clulas ABC'D' e ABC'D, identificadas acima como 1100 e 1101 respectivamente. As outras 14 clulas correspondem s outras 14 possveis combinaes das variveis A, B, C, D. As simplificaes utilizando o mapa de 4 variveis so feitas por agrupamentos de clulas que contm S=1 em nmeros de 8, 4, 2 e 1 clula. Abaixo so mostrados exemplos de grupos de 8, 4 e 2 clulas.
7

Prof. Joo Giacomin DCC - UFLA 2007

Sistemas Digitais Mapa de Karnaugh

S=B
C' A' A 0 1 1 0 D' 0 1 1 0 D 0 1 1 0 C 0 1 1 0 D' B' B B'

S = BD + B'D'
C' A' A 1 0 0 1 D' 0 1 1 0 D 0 1 1 0 C 1 0 0 1 D' B' B B'

O grupo BD corresponde s 4 clulas do centro do mapa, enquanto o grupo B'D' corresponde s 4 clulas dos cantos do mapa. S = A'BD' + ACD
C' A' A 0 1 0 0 D' 0 0 0 0 D 0 0 1 1 C 0 1 0 0 D' B' B B'

Vejamos 3 exemplos: 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 S1 0 1 1 1 0 1 0 1 1 1 0 1 1 1 0 1 S2 0 1 0 1 1 1 1 1 0 0 0 1 0 0 1 0 S3 1 0 1 0 1 1 0 1 1 1 1 0 0 0 0 1

Prof. Joo Giacomin DCC - UFLA 2007

Sistemas Digitais Mapa de Karnaugh

Os mapas correspondentes s sadas S1, S2, S3 so: S1 A' A C' 0 0 1 1 D' 1 1 1 1 D 1 1 1 1 C 1 0 0 0 D' B' B B'

S1 = D + AC' + A'B'C O primeiro termo, D, corresponde ao sombreado cinza. O segundo termo corresponde aos nmeros verdes e o terceiro termo corresponde aos nmeros de fundo amarelo. S2 A' A C' 0 1 0 0 D' 1 1 0 0 D 1 1 1 0 C 0 1 0 1 D' B' B B'

S2 = A'B + A'D + BCD Os trs termos correspondem respectivamente aos grupos sombreado cinza, nmeros verdes e nmeros de fundo amarelo.

S3 A' A

C' 1 1 0 1 D' 0 1 0 1 D 0 1 1 0

C 1 0 0 1 D' B' B B'

S3 = B'D' + A'BC' + AB'C' + BCD Os quatro termos correspondem respectivamente aos grupos sombreado cinza, sombreado verde, nmeros verdes e sombreado azul.

Prof. Joo Giacomin DCC - UFLA 2007