Mapa de Karnaugh — Guia de Simplificação com K-Map

Um mapa de Karnaugh, ou K-map, é uma grade usada para simplificar uma expressão booleana sem fazer tanta álgebra manualmente. Você coloca os valores de saída de uma tabela-verdade na grade, agrupa os $1$s adjacentes e depois escreve um termo mais simples para cada grupo.

A condição importa: os K-maps são mais práticos para funções pequenas, geralmente com duas, três ou quatro variáveis. À medida que o número de variáveis cresce, o mapa fica mais difícil de ler e outros métodos costumam ser melhores.

O Que Um Mapa de Karnaugh Mostra

Um K-map contém a mesma informação que uma tabela-verdade, mas organiza as células em ordem de código Gray em vez da ordem binária comum. Essa organização faz com que células vizinhas diferenciem em exatamente uma variável.

Essa diferença de uma variável é o ponto principal. Se duas células adjacentes são ambas $1$, a variável que muda pode ser eliminada do termo simplificado.

Como o Agrupamento Remove Variáveis

A regra visual vem de identidades booleanas como

$$XY + X\overline{Y} = X$$

Os dois termos diferem apenas em $Y$, então $Y$ se cancela e a parte comum $X$ permanece. Um K-map permite identificar esse padrão de cancelamento diretamente na grade.

Exemplo de Mapa de Karnaugh

Suponha

$$F(A,B,C) = \sum m(1,3,4,5,7)$$

Isso significa que $F=1$ para os mintermos $1$, $3$, $4$, $5$ e $7$.

Para um K-map de $3$ variáveis, use $A$ nas linhas e $BC$ nas colunas em ordem de código Gray $00$, $01$, $11$, $10$:

$$\begin{array}{c|cccc} A \backslash BC & 00 & 01 & 11 & 10 \\ \hline 0 & 0 & 1 & 1 & 0 \\ 1 & 1 & 1 & 1 & 0 \end{array}$$

Comece com o maior grupo válido. Os quatro $1$s nas duas colunas centrais formam um grupo. Nessas quatro células, $C=1$ permanece fixo enquanto $A$ e $B$ mudam, então esse grupo se simplifica para

$$C$$

Ainda há um $1$ sem cobertura: o mintermo $4$, que é $(A,B,C)=(1,0,0)$. Faça par com o mintermo adjacente $5$, que é $(1,0,1)$.

Nesse par, $A=1$ e $B=0$ permanecem fixos enquanto $C$ muda, então o par se simplifica para

$$A\overline{B}$$

Portanto, a expressão simplificada é

$$F(A,B,C) = C + A\overline{B}$$

Essa expressão mais curta é equivalente à lista original de mintermos.

Regras Para Grupos Válidos no K-Map

Use grupos cujos tamanhos sejam potências de dois: $1$, $2$, $4$, $8$ e assim por diante.

Use os maiores grupos válidos que puder. Grupos maiores geralmente eliminam mais variáveis.

Lembre-se de que o mapa se conecta pelas bordas. As bordas esquerda e direita são adjacentes, e as bordas superior e inferior também são adjacentes.

Células na diagonal não são adjacentes.

Sobreposição é permitida quando ajuda a criar um agrupamento maior ou mais simples.

Erros Comuns em Mapas de Karnaugh

Usar Ordem Binária Comum

Se você rotular linhas ou colunas como $00$, $01$, $10$, $11$, a adjacência fica errada. K-maps devem usar ordem de código Gray para que células vizinhas diferenciem em apenas um bit.

Fazer Grupos de Três

Um grupo de três células nunca é válido. O tamanho deve ser uma potência de dois.

Esquecer a Adjacência pelas Bordas

Algumas das melhores simplificações usam células em bordas opostas do mapa. Se você esquecer a regra de conexão pelas bordas, sua resposta muitas vezes fica maior do que precisa.

Forçar Cada $1$ a Entrar em Exatamente Um Grupo

Isso não é uma regra. Reutilizar uma célula pode ser a melhor forma de criar um grupo maior e uma expressão final mais curta.

Quando Um Mapa de Karnaugh É Usado

K-maps são comuns em lógica digital e em cursos introdutórios de engenharia da computação porque transformam a simplificação booleana em um processo visual. Eles são especialmente úteis quando você quer uma expressão soma de produtos mais simples antes de desenhar ou implementar um circuito lógico.

Eles também são bons para desenvolver intuição. Mesmo que softwares lidem com projetos maiores, aprender K-maps facilita entender por que certos termos booleanos se combinam e outros não.

Tente Um Problema Parecido

Tente simplificar $F(A,B,C)=\sum m(0,2,4,6,7)$ por conta própria. Desenhe o mapa, faça primeiro os maiores grupos válidos e depois mantenha apenas as variáveis que permanecem constantes em cada grupo.

Se quiser ir um passo além, tente uma versão com valores don't-care e use-os apenas quando ajudarem a formar um grupo válido maior.