Para expresiones lógicas aquí se crean los mapas Karnaugh asociados.
Se pueden utilizar hasta un máximo de 6 variables lógicas arbitrarias.
Los operadores permitidos son (prioridad de operador decreciente en este orden):
!
~
"no"
(negación)
&&
*
"y"
(conjunción)
||
+
"o"
(disyunción)
Ademas se puede utilizar paréntesis.
Alternativamente, puede editar celda por celda un mapa Karnaugh.
En cualquier caso, se crea la MSP (suma de productos minimal) asociada.
Los encabezados de filas y columnas utilizan la notación de conjunción que se encuentra comúnmente en los mapas de Karnaugh.
Las áreas de columnas y filas que van juntas están marcadas en color.
Un mapa Karnaugh para n variables tiene 2n celdas, que corresponden al número de posibilidades de combinar verdadero y falso.
Cada celda representa el resultado de la expresión lógica (1 para verdadero, 0 para falso) con la conjunción de todas las n variables,
ocupa como lo describen los encabezados de columna y fila de la celda respectiva juntos.
Aquí se crea un mapa para n+1 variables a partir de un mapa para n variables mediante la duplicación.
Para n pares, el espejo está en el borde derecho y para n impares en el borde inferior.
Antes de construir la mapa, las variables se ordenan léxicamente.
La última y penúltima variable después de la clasificación se asigna de manera diferente en las dos mitades del mapa.
Si se van a crear varios mapas Karnaugh en paralelo, las expresiones asociadas deben ingresarse separadas por punto y coma.