Un mapa de Karnaugh provee un método sistemático para simplificar expresiones booleanas.
Si es utilizado adecuadamente, es posible
obtener directamente la expresión mínima de las formas canónicas SOP y POS. Un mapa de Karnaugh es un arreglo de celdas en el cual cada una de ellas representa un minitérmino (o maxitérmino) de una función.
Las celdas se encuentran acomodadas de tal
forma que el obtener la simplificación de una expresión booleana es cuestión de una simple agrupación de celdas. La distribución de minitérminos y maxitérminos para un mapa de Karnaugh de 2 variables es: La distribución de minitérminos y maxitérminos para un mapa de Karnaugh de 3 variables es: La distribución de minitérminos y maxitérminos para un mapa de Karnaugh de 4 variables es: Las celdas adyacentes en un mapa de Karnaugh son aquellas en las cuales los minitérminos (o maxitérminos) poseen únicamente un cambio de variable. En un mapa de Karnaugh de cualquier número de variables existe un entrelazamiento entre la primera y última fila, así como entre la primera y última columna. Para determinar una función booleana en su forma SOP o POS, se trasladan directamente los valores de su tabla de verdad a un mapa de Karnaugh: 1) Los tamaños de los grupos pueden ser únicamente potencias de dos, es decir, de 1, 2, 4, 8 o 16 celdas.
2) Solamente se pueden agrupar celdas que sean adyacentes.
3) Se debe de incluir el mayor número de celdas en un grupo.
4) Se deben de obtener el menor número de grupos posibles.
5) No deben quedar celdas sin agrupar.
6) Un grupo puede agruparse con celdas de otro(s) grupo(s).
La minimización de funciones booleanas es el proceso que se realiza para obtener una expresión con la menor cantidad posible de términos con el menor número de variables.
En un mapa de Karnaugh, la forma SOP de
una función booleana se obtiene al agrupar los 1’s y la forma POS al agrupar los 0’s, siguiendo las reglas antes mencionadas. La expresión mínima se obtiene de los grupos de 1’s y 0’s, escribiendo únicamente las variables que no cambian de los minitérminos o maxitérminos correspondientes para cada grupo, tal como se muestra en las siguientes figuras: