08/06/12

Mapa de Karnaugh

Mapa de Karnaugh
(ltima atualizao: 21 de agosto de 1997) O Mapa de Karnaugh uma ferramenta de auxlio minimizao de funes booleanas. O prprio nome mapa vem do fato dele ser um mapeamento biunvoco a partir de uma tabela-verdade. Vejamos como feito este mapeamento.

Mapa de Karnaugh para 1 Varivel

Considere a tabela-verdade, j vista, de uma funo NOT, A f(A) = A' 0 1 1 0

Para se fazer um Mapa de Karnaugh a partir desta tabela-verdade, realiza-se a construo ilustrada na figura abaixo,

ou seja (veja que a varivel A, em verde, est indicando que a funo em questo s possui uma varivel independente): 1. Acrescenta-se mais uma coluna tabela-verdade original. Esta coluna tem por funo enumerar as linhas, a partir de zero (0). 2. Constroi-se tantos quadrculos quantas forem as linhas da tabela-verdade, enumerando-os com o nmero da linha correspondente no canto superior esquerdo de cada quadrculo (nmeros em preto). 3. Coloca-se os valores das variveis do lado de fora de cada quadrculo (nmeros em azul). 4. Coloca-se os valores da funo no centro de cada quadrculo, respeitando-se o nmero da linha correspondente (nmeros em vermelho).

Mapa de Karnaugh para 2 Variveis

Veja para funo de duas varveis (por exemplo, a funo AND),
www.inf.ufsc.br/ine5365/mapkarn.html 1/6

08/06/12

Mapa de Karnaugh

Mapa de Karnaugh para 3 Variveis

Para funes de trs variveis independentes,

Mapa de Karnaugh para 4 Variveis

Para funes de quatro variveis independentes,

www.inf.ufsc.br/ine5365/mapkarn.html

2/6

08/06/12

Mapa de Karnaugh

Note que, a partir do Mapa de Karnaugh para funes trs ou mais variveis independentes, h uma anotao das filas (linhas ou colunas) de quadrculos onde a varivel independente no muda de valor. Tambm observe que, de uma fila de quadrculos para outra fila, s h uma mudana de valor nas variveis. Observe que a ordem de numerao das linhas e colunas, representativas de combinaes de variveis, obedece o Cdigo de Gray (Gray Code), as vezes chamado de Cdigo Refletido.

Exemplos de Uso
Ex.1 - Considere a seguinte funo lgica de duas variveis, F(A,B),

Do lado da equao booleana, e pelo Teorema 11 visto no tpico lgebra de Boole, a reduo evidente. Do lado do Mapa de Karnaugh, os dois quadrculos contguos, contendo o valor lgico 1 cada, indicam que: 1. A varivel A no muda de valor lgico nos dois quadrculos contendo o valor lgico 1 da funo F (1 acima da tabela): mantenha a varivel A.
www.inf.ufsc.br/ine5365/mapkarn.html 3/6

08/06/12

Mapa de Karnaugh

2. A varivel B muda de valor lgico nos dois quadrculos contendo o valor lgico 1 da funo F (0 e 1 esquerda da tabela): elimine a varivel B. Ex.2 - Considere, agora, a funo de trs variveis, F(A,B,C),

Por no ser trivial a concluso obtida com o mapa de Karnaugh, a segue a prova,

Como pode ser visto, o mapa de Karnaugh uma ferramenta eficiente para simplificar funes booelanas. Uma simplificao algbrica alternativa da funo acima fica como exerccio. Note que no mapa de Karnaugh acima, os quatro quadrculos contguos (linha 0 - coluna 11; linha 0 - coluna 10; linha 1 coluna 11; linha 1 - coluna 10), contendo o valor lgico 1 cada, indicam que a varivel A no muda de valor lgico nos quatro quadrculos contendo o valor lgico 1 da funo F. Esta a razo de manter-se a varivel A (primeiro termo da simplificao). A varivel A muda de valor lgico nos dois quadrculos contendo o valor lgico 1 da funo F: elimine a varivel A, mantendo B e C complementadas (segundo termo da simplificao). Ex.3 - Considere, agora, a funo lgica do exemplo 2. Faremos sua minimizao atravs do conceito de maxtermos. Para isso, complete as lacunas com o dgito 0,

Note que, agora, estamos destacando os 0's adjacentes, e no os 1's adjacentes, como no exemplo 2. Para melhor compreenso do que isso significa, construa a tabela verdade da funo F e tambm de sua negao,
www.inf.ufsc.br/ine5365/mapkarn.html 4/6

08/06/12

Mapa de Karnaugh

F', A B C F F' Mintermos Maxtermos 0 0 0 1 0 m0=A'B'C' M0=A+B+C 0 0 1 0 1 m1=A'B'C M0=A+B+C' 0 1 0 0 1 m3=A'BC' M0=A+B'+C 0 1 1 0 1 m4=A'BC M0=A+B'+C' 1 0 0 1 0 m5=AB'C' M0=A'+B+C 1 0 1 1 0 m6=AB'C M0=A'+B+C' 1 1 0 1 0 m7=ABC' M0=A'+B'+C 1 1 1 1 0 m8=ABC M0=A'+B'+C'

Donde voc pode concluir que os mintermos (ou maxtermos) que aparecem em F no aparecem em F', e vice-versa,

Significa que minimizar a funo F, via mintermos, equivalente a minimizar sua negao, F', via maxtermos. Se voc minimizar F', via mapa de Karnaugh atravs de mintermos, e, ento, calcular F (negando F'), voc tambm resolveu o problema do exemplo 2. O mapa de Karnaugh para F' ,

Minimizando F' e calculando F ( = (F')'), tem-se,

www.inf.ufsc.br/ine5365/mapkarn.html

5/6

08/06/12

Mapa de Karnaugh

Este artifcio pode ser usado para minimizar funes com nmero de 0's ou 1's reduzido, usando-se uma ou outra tcnica. Aprenda mais sobre Mapa de Karnaugh e simplificaes de funes lgicas nos seguintes sites: http://das-www.harvard.edu/cs/academics/courses/cs141/cs141.html http://www.cs.cornell.edu/Info/Courses/Spring-94/CS314/lec7/lec7.html http://www.cs.stedwards.edu/~jsnowde/ Procure outros sites na Internet. Anterior: Mintermos e Maxitermos Prxima: Famlias de Circuitos Integrados

Retornar ao ndice de assuntos Voc pode falar comigo pelo e-mail: jbosco@inf.ufsc.br

www.inf.ufsc.br/ine5365/mapkarn.html

6/6