O Mapa de Karnaugh

É uma ferramenta poderosa usada para simplificar a expressão booleana de uma função. Consiste em colocar em um mapa os valores da saída da função para cada entrada. Vamos exemplificar:
Mapa de Duas Variáveis

Observe que para cada linha da TV corresponde a uma célula do mapa.
Mapa de 2 Variaveis

A simplificação consiste em agrupar células vizinhas (células entre as  quais  só uma variável muda de valor). No exemplo acima as duas células com 1´s são vizinhas e portanto podem ser enlaçadas.

Cada laço resultará em um produto das variáveis, neste produto aparecerão as variáveis que não mudam, no exemplo o complemento de B.

Mapa de 3 Variáveis

Seja a TV de um  circuito lógico

Observe que as células de cima (vermelhas) são vizinhas das duas de  baixo(vermelhas) pois ao passar de uma destas celulas para a de cima ou vice versa, só uma variável mudará.

Quando existem mais de dois grupos de células agrupadas, o resultados será  uma operação de soma (OU)

O mesmo resultado poderia ser obtido diretamente considerando o laço azul:
Observe  que  as variáveis A e C variam dentro do laço azul. Quem fica constante? O complemento de B.

Para maiores esclarecimentos consultar a bibliografia.