Solucionador de Mapa de Karnaugh (K-Map)

El Solucionador de Mapa de Karnaugh (K-Map) minimiza cualquier función lógica booleana de 2 a 5 variables y visualiza la simplificación como un mapa de Karnaugh clásico con agrupaciones codificadas por colores. Ingrese sus minitérminos, maxitérminos o use la tabla de verdad interactiva; el solucionador ejecuta el algoritmo de Quine-McCluskey internamente, encuentra cada implicante primo, marca los esenciales y produce la expresión mínima de Suma de Productos (SOP) o Producto de Sumas (POS) con una explicación paso a paso. Haga clic en cualquier ficha de implicante primo para que las celdas que cubre parpadeen y vea cómo la agrupación simplifica la lógica.

¿Qué es un Mapa de Karnaugh?

Un mapa de Karnaugh (inventado por Maurice Karnaugh en 1953) es una representación gráfica de una tabla de verdad, dispuesta de modo que las celdas que difieren en una sola variable de entrada sean físicamente adyacentes. El truco clave es el orden de código Gray de filas y columnas: etiquetas consecutivas como 00, 01, 11, 10 difieren exactamente en un bit. Esta adyacencia permite detectar visualmente grupos de 1 (o 0) que pueden combinarse en un único término simplificado.

Para n variables de entrada, el K-map tiene 2^n celdas. Un mapa de 4 variables es una cuadrícula de 4×4 con 16 celdas; un mapa de 5 variables se dibuja como dos cuadrículas de 4×4 adyacentes.

SOP vs POS: Qué forma elegir

Suma de Productos (SOP)

SOP agrupa las celdas con 1. Cada grupo se convierte en un producto (AND) de literales, y todos los grupos se unen mediante la operación OR. Ejemplo: AB'C + BD. SOP suele ser la opción predeterminada porque se asigna directamente a redes de puertas AND–OR.

Producto de Sumas (POS)

POS agrupa las celdas con 0. Cada grupo se convierte en una suma (OR) de los literales complementados, y todas las sumas se unen mediante la operación AND. Ejemplo: (A + B')(C + D'). POS suele ser más pequeño cuando la función tiene más 1 que 0.

La herramienta calcula ambas formas de manera independiente: cambie el modo de salida para comparar el conteo de literales y elija el que sea más simple para su implementación.

Reglas de agrupación para Mapas de Karnaugh

• Solo grupos de potencia de dos: los grupos deben contener 1, 2, 4, 8 o 16 celdas. No se permite un grupo de 3 o 5.
• Forma rectangular: las celdas de un grupo forman un rectángulo (horizontalmente, verticalmente o envolviendo los bordes).
• Adyacencia envolvente: la fila superior es adyacente a la fila inferior; la columna de la izquierda es adyacente a la de la derecha. Por eso es importante el orden de código Gray.
• Los grupos más grandes primero: los grupos más grandes eliminan más variables, produciendo términos producto más cortos. Un grupo de 8 celdas elimina 3 variables; uno de 4 elimina 2; uno de 2 elimina 1.
• Cada 1 debe estar cubierto: al menos un grupo debe cubrir cada celda con 1 (para SOP) o cada celda con 0 (para POS).
• Se permite el solapamiento: el mismo 1 puede estar cubierto por múltiples grupos si eso conduce a grupos más grandes.
• Los don't-cares son flexibles: pueden agruparse si al hacerlo se producen grupos más grandes, pero no es obligatorio cubrirlos.

Implicantes Primos e Implicantes Primos Esenciales

Un implicante primo es un grupo que no se puede expandir más; ampliarlo incluiría una celda con 0 (para SOP). El solucionador enumera cada implicante primo que encuentra. Luego elige una cobertura mínima: el conjunto más pequeño de implicantes primos que cubra cada minitérmino requerido.

Un implicante primo esencial se marca como ESENCIAL cuando es el único implicante primo que cubre al menos un minitérmino específico. Toda expresión mínima debe incluir todos los implicantes primos esenciales. Después de seleccionarlos, los minitérminos restantes no cubiertos se cubren con los implicantes primos adicionales más económicos.

Condiciones de Término Irrelevante (Don't-Care)

Un don't-care (mostrado como X en el K-map) es una combinación de entrada cuya salida es irrelevante: o bien nunca ocurre en el circuito real o bien su valor no importa. El algoritmo es libre de tratar cada X como 0 o 1, eligiendo lo que produzca una expresión más simple. En la práctica, los don't-cares suelen reducir el conteo de literales entre un 30% y un 60%. Una fuente común en el mundo real: decodificadores de dígitos decimales que solo usan 10 de las 16 combinaciones de entrada de cuatro bits, dejando las combinaciones 10–15 como irrelevantes.

El Algoritmo de Quine-McCluskey

El K-map es un método visual, pero para más de 4–5 variables se vuelve impráctico. El algoritmo de Quine-McCluskey (QM) es el equivalente tabular: matemáticamente riguroso y escalable. Este solucionador utiliza QM internamente:

1. Enumera los minitérminos en binario, agrupándolos por el número de bits 1.
2. Combina pares de grupos adyacentes (que difieren en un bit), reemplazando el bit diferente con un guion. Ejemplo: 0011 + 0111 → 0-11.
3. Repite hasta que no sea posible realizar más combinaciones. Los términos que no se pueden combinar son implicantes primos.
4. Construye una tabla de implicantes primos: las filas son los implicantes, las columnas son los minitérminos requeridos. Identifica los esenciales (columnas con una sola marca).
5. Método de Petrick / búsqueda exhaustiva: para los minitérminos restantes no cubiertos, encuentra el conjunto más pequeño de implicantes adicionales que los cubra.

Cómo usar esta calculadora

1. Seleccione el número de variables: 2, 3, 4 o 5. La cuadrícula del K-map se adapta automáticamente.
2. Elija un método de entrada:
   • Minitérminos: ingrese los índices donde F = 1 (ej. 1, 3, 5, 7) y cualquier don't-care.
   • Maxitérminos: ingrese los índices donde F = 0. El solucionador computa el resto como 1 automáticamente.
   • Tabla de Verdad: haga clic en cada fila para rotar la salida entre 0, 1 y X. Ideal para lógica diseñada a mano.
3. Elija la salida SOP o POS. Compare ambas formas alternando entre ellas; una suele ser más corta que la otra.
4. Haga clic en Resolver. El K-map aparece con cada implicante primo en un color distinto. Haga clic en cualquier ficha para que las celdas que cubre parpadeen.
5. Inspeccione los pasos: el desglose de Quine-McCluskey muestra cómo se derivó cada implicante primo y cuáles son esenciales.

Ejemplo resuelto: Función de 4 variables con Don't-Cares

Considere F(A,B,C,D) = Σm(1, 3, 7, 11, 15) + d(0, 2, 5).

Sin don't-cares, la SOP mínima necesitaría varios términos. Tratar {0, 2} como 1 permite al solucionador construir el grupo de 4 celdas A'B' (que cubre 0, 1, 2, 3). Tratar 5 como 1 permite extender la cobertura de CD. La simplificación resultante es:

Solo 4 literales, frente a los más de 10 sin el truco de los don't-care. Puede cargar este ejemplo exacto con el ejemplo rápido "4 var con Don't-Cares" de arriba.

¿Por qué minimizar las funciones booleanas?

• Menos puertas = menor costo de hardware, menor área de chip, menor consumo de energía.
• Circuitos más rápidos: menos retrasos de puerta en el camino crítico.
• Documentación más limpia: una expresión concisa es más fácil de verificar y mantener.
• Base del diseño digital: cada herramienta de síntesis FPGA ejecuta un descendiente de Quine-McCluskey (Espresso-II y posteriores).

Limitaciones y cuándo usar otras herramientas

• Más de 5 variables: los K-maps se saturan visualmente. Esta herramienta admite hasta 5 dividiéndolos en dos mapas de 4×4. Más allá de eso, confíe en los pasos de Quine-McCluskey o use herramientas de síntesis como ABC / Espresso.
• Riesgos y transitorios (hazards/glitches): una cobertura mínima puede contener riesgos estáticos. Para un diseño libre de riesgos, incluya implicantes primos redundantes; esta herramienta los marca pero no añade automáticamente coberturas de riesgo.
• Minimización de múltiples salidas: si varias funciones comparten variables, la minimización conjunta (compartiendo puertas) produce un hardware más pequeño. Esta herramienta minimiza una función a la vez.

Preguntas Frecuentes

¿Qué es un mapa de Karnaugh?

Un mapa de Karnaugh (K-map) es un método visual para minimizar expresiones booleanas. Las celdas se organizan de modo que las celdas adyacentes difieran en una sola variable (orden de código Gray). Agrupar los 1 en rectángulos de tamaño 1, 2, 4, 8 o 16 revela la expresión mínima de Suma de Productos.

¿Cuál es la diferencia entre SOP y POS?

SOP (Sum of Products) agrupa las celdas con 1 y aplica la operación OR a sus términos producto, ej. A'B + CD. POS (Product of Sums) agrupa las celdas con 0 y aplica la operación AND a sus términos suma, ej. (A + B')(C' + D). Ambas describen la misma función, pero una forma suele ser más compacta.

¿Qué son los términos irrelevantes (don't-cares) y por qué usarlos?

Los términos irrelevantes (marcados con X) son combinaciones de entrada cuyo valor de salida es intrascendente: nunca ocurren o su valor no importa. El solucionador puede tratarlos como 0 o 1, lo que produzca la expresión más simple. Los don't-cares a menudo reducen drásticamente el conteo de literales.

¿Qué es un implicante primo?

Un implicante primo es el grupo más grande posible de celdas adyacentes con 1 (tamaño potencia de dos) que no se puede expandir más. Un implicante primo esencial es aquel que cubre de forma única al menos un minitérmino y debe incluirse en toda expresión mínima.

¿Cómo funciona el algoritmo de Quine-McCluskey?

Quine-McCluskey es el equivalente tabular de un mapa de Karnaugh, adecuado para muchas variables. Enumera todos los minitérminos en binario, los agrupa por el número de 1 y combina iterativamente pares que difieren exactamente en un bit. Los términos que no se pueden combinar más son implicantes primos. Una tabla de implicantes primos selecciona luego la cobertura mínima.

¿Cuántas variables admite este solucionador de K-map?

Esta herramienta admite de 2 a 5 variables. Un mapa de Karnaugh de 5 variables se muestra como dos mapas adyacentes de 4×4 (uno para A=0, otro para A=1). Más allá de 5 variables, los mapas de Karnaugh se vuelven imprácticos; use los pasos de Quine-McCluskey para funciones más grandes.

Lecturas adicionales

• Mapa de Karnaugh — Wikipedia
• Algoritmo Quine-McCluskey — Wikipedia
• Método de Petrick — Wikipedia