Para expresiones lógicas aqui 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.
Para los encabezados de filas y columnas, en los mapas Karnaugh se utiliza la notación habitual para conjunciones.
Las áreas de columna y fila que pertenecen juntas también están codificadas por colores.
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.