Mapa de Karnaugh — guía de simplificación con K-Map

Un mapa de Karnaugh, o K-map, es una cuadrícula que se usa para simplificar una expresión booleana sin hacer tanta álgebra a mano. Colocas los valores de salida de una tabla de verdad en la cuadrícula, agrupas los $1$ adyacentes y luego escribes un término más simple para cada grupo.

La condición importa: los K-maps son más prácticos para funciones pequeñas, normalmente con dos, tres o cuatro variables. A medida que aumenta el número de variables, el mapa se vuelve más difícil de leer y otros métodos suelen ser mejores.

Qué muestra un mapa de Karnaugh

Un K-map contiene la misma información que una tabla de verdad, pero organiza las celdas en orden Gray en lugar del orden binario normal. Esa disposición hace que las celdas vecinas difieran en exactamente una variable.

Esa diferencia de una sola variable es la idea central. Si dos celdas adyacentes valen ambas $1$, la variable que cambia puede eliminarse del término simplificado.

Cómo la agrupación elimina variables

La regla visual viene de identidades booleanas como

$$XY + X\overline{Y} = X$$

Los dos términos difieren solo en $Y$, así que $Y$ se cancela y la parte común $X$ permanece. Un K-map te permite ver directamente ese patrón de cancelación en la cuadrícula.

Ejemplo de mapa de Karnaugh

Supón que

$$F(A,B,C) = \sum m(1,3,4,5,7)$$

Esto significa que $F=1$ para los minterms $1$, $3$, $4$, $5$ y $7$.

Para un K-map de $3$ variables, usa $A$ para las filas y $BC$ para las columnas en orden Gray $00$, $01$, $11$, $10$:

$$\begin{array}{c|cccc} A \backslash BC & 00 & 01 & 11 & 10 \\ \hline 0 & 0 & 1 & 1 & 0 \\ 1 & 1 & 1 & 1 & 0 \end{array}$$

Empieza con el grupo válido más grande. Los cuatro $1$ de las dos columnas centrales forman un grupo. En esas cuatro celdas, $C=1$ se mantiene fijo mientras $A$ y $B$ cambian, así que ese grupo se simplifica a

$$C$$

Todavía queda un $1$ sin cubrir: el minterm $4$, que es $(A,B,C)=(1,0,0)$. Emparéjalo con el minterm adyacente $5$, que es $(1,0,1)$.

En ese par, $A=1$ y $B=0$ se mantienen fijos mientras $C$ cambia, así que el par se simplifica a

$$A\overline{B}$$

Por lo tanto, la expresión simplificada es

$$F(A,B,C) = C + A\overline{B}$$

Esa expresión más corta es equivalente a la lista original de minterms.

Reglas para grupos válidos en un K-map

Usa grupos cuyos tamaños sean potencias de dos: $1$, $2$, $4$, $8$, etc.

Usa los grupos válidos más grandes que puedas. Los grupos más grandes suelen eliminar más variables.

Recuerda que el mapa se envuelve. Los bordes izquierdo y derecho son adyacentes, y los bordes superior e inferior también son adyacentes.

Las celdas diagonales no son adyacentes.

Se permite el solapamiento cuando ayuda a crear una agrupación más grande o más simple.

Errores comunes en mapas de Karnaugh

Usar el orden binario normal

Si etiquetas filas o columnas como $00$, $01$, $10$, $11$, la adyacencia es incorrecta. Los K-maps deben usar orden Gray para que las celdas vecinas difieran en solo un bit.

Hacer grupos de tres

Un grupo de tres celdas nunca es válido. El tamaño debe ser una potencia de dos.

Olvidar la adyacencia por envolvimiento

Algunas de las mejores simplificaciones usan celdas en bordes opuestos del mapa. Si olvidas la regla de envolvimiento, tu respuesta suele quedar más larga de lo necesario.

Forzar que cada $1$ esté en exactamente un grupo

Esa no es una regla. Reutilizar una celda puede ser la mejor manera de crear un grupo más grande y una expresión final más corta.

Cuándo se usa un mapa de Karnaugh

Los K-maps son comunes en lógica digital y en cursos introductorios de ingeniería informática porque convierten la simplificación booleana en un proceso visual. Son especialmente útiles cuando quieres una expresión suma de productos más simple antes de dibujar o implementar un circuito lógico.

También son buenos para desarrollar intuición. Aunque el software se encargue de diseños más grandes, aprender K-maps hace más fácil ver por qué ciertos términos booleanos se combinan y otros no.

Prueba un problema similar

Intenta simplificar por tu cuenta $F(A,B,C)=\sum m(0,2,4,6,7)$. Dibuja el mapa, forma primero los grupos válidos más grandes y luego conserva solo las variables que permanecen constantes en cada grupo.

Si quieres ir un paso más allá, prueba una versión con valores don't-care y úsalos solo cuando te ayuden a formar un grupo válido más grande.