Simplificador de mapa de Karnaugh en línea

Simplificación de expresiones booleanas con minterms

Esta herramienta en línea simplifica expresiones booleanas a partir de una lista de minterms. Es útil para diseñar circuitos lógicos o verificar simplificaciones manuales.

Ejemplo práctico

Supongamos que ingresas los minterms 1,3,5,7. La herramienta infiere que se necesitan 3 variables (A, B, C) porque el índice más grande es 7 (111 en binario). Luego simplifica la expresión a C. Es decir, la salida es 1 cuando C es 1, independientemente de A y B.

Parámetros y procesamiento

• Entrada: índices de minterms de 0 a 15, únicos o repetidos.
• Variables: se infieren automáticamente (1 a 4) según el índice máximo.
• Nombres de variables: A (MSB), B, C, D (LSB).
• Notación: ! para NOT y + para OR.
• Salida: cantidad de variables, lista canónica y expresión simplificada en forma de suma de productos.

Limitaciones

No hay entrada de condiciones de indiferencia (don't-care), ni forma de producto de sumas (POS), ni optimización libre de riesgos (hazards). Tampoco se muestra un diagrama de Karnaugh visual. La cantidad de variables se infiere, por lo que no se pueden conservar variables principales no utilizadas.

Preguntas frecuentes

¿Qué significa que la herramienta infiere la cantidad de variables?

La herramienta determina el número mínimo de variables (1 a 4) necesario para representar el índice más grande que ingresaste. Por ejemplo, si el índice máximo es 7, se usan 3 variables (A, B, C). No puedes especificar manualmente la cantidad de variables.

¿Cómo se interpreta la notación de salida?

La salida usa ! para negación (NOT) y + para OR. Por ejemplo, !A B + A !B representa (NOT A AND B) OR (A AND NOT B). No se utilizan otros símbolos como · para AND; la multiplicación lógica se indica simplemente juxtaponiendo variables.

¿Qué sucede si ingreso todos los minterms posibles?

Si ingresas todos los minterms para el ancho inferido (por ejemplo, 0-7 para 3 variables), la expresión se simplifica a la constante 1, lo que significa que la salida siempre es verdadera.