# Mapa de Karnaugh

Mapa de Karnaugh é um método de simplificação gráfico criado por Edward Veitch (1952) e aperfeiçoado pelo engenheiro de telecomunicações Maurice Karnaugh. Chamamos esse diagrama de mapa, visto este ser um mapeamento biunívoco a partir de uma tabela verdade da função que está a ser analisada. Ele é utilizado para simplificar uma equação lógica ou para converter uma tabela verdade no seu circuito lógico correspondente.
O método de leitura por "mapa de Karnaugh" é considerado mais simples que a "álgebra booleana", pois elimina o problema de erro nas simplificações. Porém quando utilizado mais de 6 entradas, esse método se torna complicado, pois fica difícil identificar as células adjacentes no mapa. Para esse caso são utilizados soluções algorítmicas computacionais.

## Exemplos
### Mapa de Karnaugh para duas variáveis

Utiliza-se a seguinte tabela-verdade para montar o mapa de Karnaugh, onde A e B são as entradas e F a saída:
Quando utilizada duas variáveis, o mapa de Karnaugh apresenta a seguinte configuração. Onde cada espaço será completado com seu nível lógico equivalente.Como já possuímos as saídas da tabela verdade do exemplo, colocaremos as mesmas no mapa de Karnaugh.
Com o mapa já construído, deve-se diferenciar os minitermos, ou seja, considerar somente os campos que possuem 1 como solução final. Eles devem ser agrupados em pares, para isso ocorrer os elementos tem que estar lado-a-lado, pode ser tanto na horizontal como na vertical. Separando em pares, obtêm-se:
Os campos selecionados com a cor azul, estão respectivamente na coluna B(negado). Já os campos selecionados com a cor laranja estão na linha A. Formando assim a expressão simplificada: ${\overline {B}}+A$

### Mapa de Karnaugh para três variáveis

Utiliza-se a seguinte tabela-verdade para esse exemplo, onde A, B e C são entradas e S a saída:
| A | B | C | S |
| 0 | 0 | 0 | 0 |
| 0 | 0 | 1 | 1 |
| 0 | 1 | 0 | 0 |
| 0 | 1 | 1 | 1 |
| 1 | 0 | 0 | 1 |
| 1 | 0 | 1 | 1 |
| 1 | 1 | 0 | 1 |
| 1 | 1 | 1 | 0 |
Selecionando os elementos que estão no nível lógico 1, obtemos a seguinte expressão $S={\overline {A}}.{\overline {B}}.C+{\overline {A}}.B.C+A.{\overline {B}}.{\overline {C}}+A.{\overline {B}}.C+A.B.{\overline {C,}}$ a qual é possível simplificar pelo mapa de Karnaugh. Quando utilizarmos três variáveis, o mapa apresenta a configuração apresentada abaixo, completando o mapa com as saídas obtidas da tabela verdade, teremos:
Os campos selecionados com a cor amarela estão na coluna da variável C e linha da variável A(negado). Já os elementos com a cor verde, pertencem à coluna da variável C(negado) e linha da variável A. Os elementos circundados de rosa, são da coluna B(negado) e C. Sendo assim, a simplificação da equação é:
${\overline {A}}.C+A.{\overline {C}}+{\overline {B}}.C$

### Mapa de Karnaugh para quatro variáveis

Primeiramente vamos pegar os resultados da tabela verdade para continuarmos o exemplo.
Nesta tabela pode-se observar os valores das variáveis "A", "B", "C", "D" e o resultado final("F") da expressão. Agora que já possuímos as saídas da tabela verdade, colocaremos as mesmas no mapa de Karnaugh. A tabela mostrada acima possui 16 saídas, assim, o arranjo mais conveniente, é uma matriz 4x4, desta forma.
Com o mapa já construído, o que devemos fazer agora é diferenciar os mintermos dos maxtermos, ou seja, considerar somente os locais que possuem 1 como solução final.

#### Explicando a denotação do mapa

Cada “símbolo” sendo eles A, B, C, D ou suas respectivas negações, correspondem a 8 campos cada. A visão pelo mapa depende desses campos, sendo assim, as maiores aglomerações de valores 1 serão a solução final da expressão. Essas aglomerações devem ser quadrados ou retângulos e também devem conter quantidades baseadas em potências de 2, ou seja, 2, 4 ou 8.
Exemplos
As maiores quantidades de locais com valor 1 que conseguimos verificar são:
Os campos selecionados com a cor azul, estão respectivamente na coluna da variável C e na linha das variáveis B(negado) e A(negado). A cor roxa seleciona todos os campos da variável D. A cor verde seleciona alguns campo na linha da variável A e coluna da negação da variável C(negado). Sendo assim, a expressão simplificada para este exemplo é a seguinte: $C.{\overline {B}}.{\overline {A}}+D+A.{\overline {C}}$

### Mapa de Karnaugh para cinco variáveis

O mapa de Karnaugh utilizando 5 variáveis é representado por 25 soluções, ou seja, 32 saídas da função. Para esta representação, utilizamos duas matrizes 4x4. Veremos abaixo um exemplo para melhor entendimento e utilização desse método.
Nesta tabela podemos observar os valores das variáveis “A”, “B”, “C”, “D”, “E” e o resultado final(F) da expressão.
Agora que já possuímos as saídas da tabela verdade, colocaremos as mesmas no mapa de Karnaugh da seguinte forma:
Com o mapa já construído, o que devemos fazer agora é diferenciar os mintermos dos maxtermos, ou seja, considerar somente os locais que possuem 1 como solução final.

#### Explicando a denotação do mapa com 5 variáveis

Cada “símbolo”, sendo eles A, B, C, D, E ou suas respectivas negações, correspondem a 16 campos cada. A visão pelo mapa depende desses campos, sendo assim, as maiores aglomerações de valores 1 serão a solução final da expressão. Essas aglomerações devem ser quadrados ou retângulos e também contendo quantidades baseadas em potências de 2, ou seja, 2, 4, 8 ou 16. Solução do exemplo
Os campos selecionados com a cor amarela estão respectivamente no lado correspondente à variável A(negado), pertencendo às linhas das variáveis B e C(negado) e na coluna da variável D(negado).
A cor roxa seleciona campos que pertencem ao lado correspondente á variável A(negado), nas colunas das variáveis D e E(negado) e também na linha da variável B. A cor verde seleciona campos tanto em A(negado) quanto A, pertence a linha da variável C e as colunas das variáveis D(negado) e E. A cor azul seleciona os campos no lado correspondente á variável A, nas linhas das variáveis C e B.
A cor laranja seleciona campos que pertencem ao lado correspondente á variável A, nas colunas das variáveis D e E(negado) e também na linha da variável C. Sendo assim, a expressão final para este exemplo é a seguinte: ${\overline {A}}.B.{\overline {C}}.{\overline {D}}+{\overline {A}}.B.D.{\overline {E}}+C.{\overline {D}}.E+A.B.C+A.C.D.{\overline {E}}$