Mapas de Karnaugh Mapas de Karnaugh - figura geomtrica que contm uma regio(quadrculo) para cada linha de uma tabela

verdade. Existe uma correspondncia entre os quadrculos do Mapa de Karnaugh(Mapa K) e os mintermos e maxtermos. Mapa K Para Uma Varivel

Fig.1 A forma do mapa K depende exclusivamente do nmero de variveis includas, e no da expresso booleana para a qual o mapa ser usado.Observe os trs modos diferentes de representar um mapa K para uma varivel apresentados na Fig.1(a), 1(b) e 1(c), e esses trs modos includos em um nico mapa K. Mapa K Para Duas Variveis

Fig.2

Representao de Uma Funo no Mapa K

Fig.3 Veja que em (a) temos a tabela verdade da funo, em (b) o mapa K correspondente com os valres lgico da funo mapeados em cada quadrculo, em (c) temos apenas os 1s mapeados e em (d) somente os 0s.Em geral, so mapeados no mapa K somente os 1s, por excluso, os outros quadrculos tem 0s. Mapa K Alternativo Para Duas Variveis Observe a ordenao da numerao dos quadrculos: 0, 1, 3, 2 Em cada caso, o dgito esquerdo se relaciona varivel A(mais significativa) e o dgito direito varivel B(menos significativa). Ao se passar de um quadrculo para outro, somente uma varivel lgica muda de valor, em um quadrculo a varivel est complementada e, no outro quadrculo, nocomplementada. Fig.4

Mapa K Para Trs Variveis

Mapa K Para Quatro Variveis

Fig.5 Fig.6

arbitrria a atribuio das variveis s linhas e colunas de um mapa K e os valres numricos s variveis. Exemplo: O mintermo

tem nmero binrio 1000=810 e ser igual a m8. Se associamos a varivel D como mais significativa e A como a menos significativa, ento, o mintermo ser

e ter o nmero binrio 0001=110 e ser m1.O mapa K apresenta a forma da Fig.7.

Fig.7

Se mantemos a varivel A como a mais significativa, D como a menos siginificativa e associamos AB s linhas e CD s colunas, ento a significncia numrica mantida e o mapa K apresenta a forma Fig.8.

Fig.8

Simplificao de Funes com Mapas de Karnaugh Caractersticas essenciais do mapa K:

Quadrculos adjacentes horizontalmente e verticalmente correspondem a mintermos ou maxtermos que diferem em apenas uma varivel. A varivel aparece complementada em um quadrculo e no-complementada no outro. Quadrculos adjacentes: quadrculos com um lado comum, situados nas extremidades da mesma linha ou nas extremidades da mesma coluna.

Exemplo. Na Fig.9 ao lado, temos uma funo mapeada de dois mintermos

Ento, combinado os dois mintermos, teremos

Fig.9

Princpio geral

Qualquer par de mintermos adjacentes pode ser combinado em um nico termo que ter uma varivel a menos que as includas pelos mintermos. A varivel eliminada aparece complementada em um mintermo e nocomplementada no outro mintermo.

Mtodo alternativo m8 est sob a regio A, ento A no-complementada m8 est fora da regio B, ento B complementada m8 est fora da regio C, ento C complementada m8 est fora da regio D, ento D complementada ento,

m12 est sob a regio A, ento A no-complementada m12 est sob a regio B, ento B no-complementada m12 est fora da regio C, ento C complementada m12 est fora da regio D, ento D complementada ento,

m8+ m12 est sob a regio A, ento A nocomplementada m8+ m12 est sob a regio B e fora da regio B, ento B eliminada m8+ m12 est fora das regies C e D, ento C e D complementadas, temos ento,

Fig.10