Mapa de Karnaugh para simplificar uma expressão lógica

Em 1952, Edward Veitch desenvolveu um método gráfico a com base na teoria dos conjuntos para simplificar as expressções lógicas, que foi ampliado um ano depois por Maurice Karnaugh. Daí o nome diagramas KV.

Regras para simplificação:

- Os quadros adjacentes podem ser agrupados em "pequenos pacotes" de 2, 4, 8, ... quadros.
- Os quadros são consideradas adjacentes se toda a sua borda tocar uma no outro.
- O agrupamento pode ter uma ou mais quadros em comum.

Mapa de Karnaugh com 2 variáveis

O mapa de Karnaugh tem tantos quadros como as linhas da tabela verdade. Isso significa que cada linha da tabela de verdade é atribuída a um quadro no mapa de Karnaugh:

Mapa de Karnaugh com 2 variáveis

Mapa de Karnaugh com 2 variáveis


Mapa de Karnaugh com 3 variáveis

Com três variáveis, o Mapa de Karnaugh já tem 8 quadros.

Mapa de Karnaugh com 3 variáveis

Mapa de Karnaugh com 3 variáveis


Mapa de Karnaugh com 4 variáveis

The two-dimensional Karnaugh-map for 4 variables can be converted into the three-dimensional torus by convolution and curvature. Thus also a package "over the corners" as shown, is allowed.

Mapa de Karnaugh com 4 variáveis

Mapa de Karnaugh com 4 variáveis


Mapa de Karnaugh com 5 variáveis

Mapa de Karnaugh com 5 variáveis

Mapa de Karnaugh com 5 variáveis