Mapas de Karnaugh para 4 variáveis:

Os mapas de karnaugh para 4 variáveis são construídos como

demonstrado abaixo:
Tabela 1 - Mapa de Karnaugh para 4 variáveis

AB/CD 00 01 11 10
00 m1 m2 m3 m4
01 m5 m6 m7 m8
11 m9 m10 m11 m12
10 m13 m14 m15 m16

O processo de simplificação segue a mesma ideia que o mapa de 3

variáveis, logo, ao preencher o mapa de acordo com a tabela verdade do circuito
lógico que desejamos simplificar, devemos agrupar os níveis lógicos ‘1’
presentes no mapa de Karnaugh em potências de 2, ou seja, agruparmos 2, 4,
8, 16.
O que precisa ser atentado é que ao montar o mapa de Karnaugh de 4
variáveis, as referências AB e CD precisam ser colocadas seguindo não o código
binário comum, mas o código Gray, pois este tem como característica a
modificação de apenas um bit por vez. Por isso que pulamos do ‘01’ para o ‘11’,
já que no código binário usual do ‘01’ vamos para ‘10’, se usarmos o binário
teremos os dois bits modificados ao mesmo tempo. Essa particularidade do
mapa de Karnaugh deixa possível fazermos nossa análise após preenche-lo de
forma mais fácil, conforme apresentado abaixo:
Tabela 2 - Exemplo de mapa de Karnaugh para 4 variáveis

̅
𝑪 𝑪
0 0 0 0 ̅
𝑩
̅
𝑨
1 1 1 1
𝑩
0 0 0 0
𝑨 ̅
0 0 0 0 𝑩
̅
𝑫 𝑫 ̅
𝑫

Explicando esse exemplo, temos que devido ao código Grey, nas duas
primeiras linhas temos o bit ‘0’ na variável ‘A’ se mantendo constante, portanto
podemos representar da forma ‘A̅’ essas duas primeiras linhas e já que o ‘B’ se
altera nessas linhas, representamos as duas formas de ‘B’ do outro lado. Esse
mesmo raciocínio é aplicado com todas as outras variáveis. Lembrando que isso
só é possível por conta do código Gray.
Afim de resolver esse exemplo da Tabela 2, percebemos que todos os ‘1’
do mapa de Karnaugh estão posicionados de forma que podemos formar um
grupo com quatro níveis lógicos ‘1’. Ao fazer esse agrupamento, observamos
quais variáveis estarão com o mesmo valor. Nesse caso vemos que são ‘A̅’ e ‘B’.
Para obter a expressão não simplificada, montaremos a tabela verdade desse
exemplo:
Tabela 3 - Tabela verdade do exemplo

A B C D Saída
0 0 0 0 0
0 0 0 1 0
0 0 1 0 0
0 0 1 1 0
0 1 0 0 1
0 1 0 1 1
0 1 1 0 1
0 1 1 1 1
1 0 0 0 0
1 0 0 1 0
1 0 1 0 0
1 0 1 1 0
1 1 0 0 0
1 1 0 1 0
1 1 1 0 0
1 1 1 1 0

Essa tabela nos fornece a seguinte expressão: 𝐴̅𝐵𝐶̅ 𝐷

̅ + 𝐴̅𝐵𝐶̅ 𝐷 + 𝐴̅𝐵𝐶𝐷
̅+
𝐴̅𝐵 𝐶̅ 𝐷
̅ . Pelo mapa de Karnaugh, simplificamos essa expressão como sendo
apenas 𝐴̅𝐵 . Isso nos mostra que o mapa consegue simplificar facilmente uma
expressão mais complicada. É importante atentar que o mapa tem as bordas
“conectadas” então qualquer número 1 nas bordas pode ser agrupado com outro
1 que esteja em outra borda. Isso também é válido para as bordas nos extremos
superior direito e esquerdo e inferior direito e esquerdo, esse agrupamento
dessas quatro bordas podem gerar uma simplificação que muitas vezes passa
despercebida.
Finalmente, temos uma propriedade que nos afirma que um grupo com
apenas um ‘1’ terá uma expressão com 4 variáveis, um grupo com dois ‘1’ terá
uma expressão com 3 variáveis, um grupo com quatro ‘1’ terá uma expressão
com 2 variáveis (que foi o caso nesse exemplo), um grupo com oito ‘1’ terá uma
expressão com 1 variável (que normalmente é o que buscamos) e um grupo com
dezesseis ‘1’ terá como resultado o próprio nível lógico ‘1’.