O Mapa de Karnaugh é um método visual para reduzir uma expressões booleanas. Cada linha da Tabela Verdade representa uma célula no Mapa de Karnaugh e assim podemos visualizar de forma simples agrupamentos de mintermos que resultaram em simplificações booleanas. Estes agrupamentos formados por uma quantidade par de células, 2, 4, 6 ,8 etc,. Permitem a eliminação de variáveis da expressão final analisando-se qual variável apresenta modificação dentro do agrupamento de células. Desta forma apenas variáveis que permaneçam “constantes” no agrupamento constaram na expressão simplificada da saída.