Profa Gisele Alves Santana

Lgica para Computao

Mapa de Karnaugh

Introduo uma ferramenta de auxlio simplificao de funes booleanas. um mapeamento a partir de uma tabela-verdade. le ! formado por 2n clulas "n ! o nmero de variveis de entrada#.

Introduo A representao da relao entre as vari$veis de entrada e suas sadas correspondentes ! feita da se%uinte forma&
'ada c!lula corresponde a uma condio de entrada. As sadas so indicadas dentro das c!lulas correspondentes.

Como construir? 'ada lin(a da tabela verdade corresponde a um )uadrado "c!lula# do *apa +.

Como construir? Sempre comear com as vari$veis de entrada barradas "ne%adas#. ,as pr-ximas lin(as. apenas uma vari$vel pode mudar de valor em relao entrada anterior.
A/ ! A/ 0u se1a. na lin(a 2 tem-se "! !. na lin(a 3 apenas "! . Assim. somente a vari$vel mudou de valor.

Como construir com # $arivel 'onsidere a tabela-verdade de uma funo %&'(

" . # )*"+ , "2 4

Como construir com # $arivel Para se fa5er um *apa de +arnau%( a partir dessa tabela-verdade. reali5a-se a construo&

# $arivel A vari$vel ". em verde. est$ indicando )ue a funo em )uesto s- possui uma vari$vel independente&
Acrescenta-se mais uma coluna tabela-verdade ori%inal. ssa coluna tem por funo enumerar as lin(as. a partir de 5ero "4#. 'onstr-i-se tantas c!lulas )uantas forem as lin(as da tabela-verdade. enumerando-as com o n6mero da lin(a correspondente no canto superior es)uerdo de cada c!lula "nmeros em preto#. 'oloca-se os valores ori%inais das vari$veis do lado de fora de cada )uadrculo "nmeros em a/ul#. 'oloca-se os valores da funo no centro de cada )uadrculo. respeitando-se o n6mero da lin(a correspondente "nmeros em vermelho#.

Como construir com 2 $ariveis 0 mapa ! dividido em 7 partes. as )uais so c(amadas de clulas e enumeradas "4.2.3.8#. 9em-se duas vari$veis& A e A/ e : e :/. Assim. cada vari$vel possuir$ duas c!lulas.

Como construir com 2 $ariveis ,a cor amarela fica a fileira com as duas c!lulas correspondentes a vari$vel "!. ,a cor laran0a fica a fileira com as duas c!lulas correspondentes a vari$vel ".

Como construir com 2 $ariveis ,a cor a/ul est$ a fileira com as duas c!lulas correspondentes a vari$vel !. ,a cor lils est$ a fileira com as duas c!lulas correspondentes a vari$vel .

Como construir com 2 $ariveis 12erc3cio

'onstruir o *apa + a partir da 9abela ;erdade& A 4 4 2 2 : 4 2 4 2 f"A.:# 4 2 2 2 ' 4 4 2 2 < 4 2 4 2 f"'.<# 4 4 4 2

Como simpli)icar? feito atrav!s de a%rupamentos "enlaces#. =uanto mais c!lulas forem a%rupadas. menor ser$ o circuito> 4egras
A%rupar somente n6meros pares. sempre dobrando seu valor e assim ficando 3 . 7 4u ? c!lulas a%rupadas. S- pode-se a%rupar c!lulas com n3vel lgico #. as c!lulas com n3vel lgico . so descartadas.

"d0ac5ncia <uas c!lulas so ad1acentes entre si )uando apenas uma de suas vari$veis de entrada muda de valor. 12emplo& 9abela verdade de 3 vari$veis "porta 0@#&
A: A 44 . A: A 42 # A: A 24 # A: A 22 #

Pode-se afirmar )ue&

As c!lulas A: A 44 e A: A 42 so ad1acentes "apenas : muda de valor#. As c!lulas A: A 44 e A: A 24 so ad1acentes "apenas A muda de valor#. As c!lulas A: A 42 e A: A 24 no so ad1acentes "A e : mudam de valor#.

1nlace o a%rupamento de c!lulas ad1acentes. com sadas i%uais. m um enlace entre duas c!lulas ad1acentes. podese extrair uma expresso booleana simplificada. 1$ )ue a varivel 6ue muda de valor desaparece.

1nlace
&7serva8es
Se o mapa possui apenas um enlace. a expresso da sada ter$ apenas um termo "produto ou soma#. Bm enlace envolvendo uma 6nica c!lula no resulta em simplificao. =uando no so possveis enlaces envolvendo mais de uma c!lula. si%nifica )ue a expresso no pode ser simplificada al%ebricamente.

Como agrupar? 12emplo #

Como agrupar? 12emplo #

,o ! possvel a%rupar nen(uma c!lula. pois s- tem-se o nvel l-%ico 2 nas c!lulas 4 e 8 "no so ad1acentes#. A c!lula 4 "5ero# pertence a fileira do A/ e :/. e a c!lula 8 pertence a fileira do A e :. Assim& 9, "! 2 ! : " 2 .

Como agrupar? 12emplo 2

Como agrupar? 12emplo 2

Pode-se a%rupar. por)ue as c!lulas 4 e 3 so ad1acentes e tem o nvel l-%ico 2. 9em-se o valor l-%ico # nas duas c!lulas da fileira do !. # na fileira do "! e # em ". Assim. elimina-se sempre a vari$vel )ue possuir o nvel l-%ico em seus dois modos. Por exemplo. A e A/ ou : e :/. <essa forma& 9, !.

"grupamento de ; <uadros *<uartetos+

"grupamento de ; <uadros *<uartetos+ 12erc3cio

Ca5er o a%rupamento por )uadros. C!=! C!= C= C=! "! ! 4 4 4 4 "! 4 4 4 4 " 2 2 2 2 " ! 4 4 4 4 C!=! C!= C= C=! "! ! 4 4 4 4 "! 4 2 2 4 " 4 2 2 4 " ! 4 4 4 4

"grupamento de ; <uadros *<uartetos+ 12erc3cio > 4esposta

"grupamento de ? <uadros *&ctetos+

"grupamento de ? <uadros *&ctetos+ 12erc3cio

Ca5er o a%rupamento por )uadros. C!=! C!= C= C=! "! ! 2 4 4 2 "! 2 4 4 2 " 2 4 4 2 " ! 2 4 4 2

"grupamento de ? <uadros *&ctetos+ 12erc3cio > 4esposta