Simplificador de mapa de Karnaugh en línea

Qué hace esta herramienta

Esta herramienta simplifica expresiones booleanas a partir de una lista de minterms. Por ejemplo, si introduce los minterms 1, 3, 5 y 7, el sistema infiere que se necesitan 3 variables (A, B, C) y devuelve la expresión simplificada C. La salida muestra el número de variables, la lista canónica y la expresión mínima.

Procesamiento interno

El sistema enumera todos los cubos de implicantes válidos, conserva solo aquellos que cubren exclusivamente los minterms proporcionados y elige una cobertura de suma de productos con el menor número de términos y, en caso de empate, el menor número de literales. Las variables se nombran A, B, C y D, del bit más significativo al menos significativo. La notación de salida usa ! para NOT y + para OR.

Limitaciones

No hay entrada de condiciones de indiferencia (don't-care), ni forma de producto de sumas (POS), ni optimización libre de riesgos, ni cuadrícula visual de Karnaugh. El ancho de variables se infiere automáticamente, por lo que no se pueden conservar variables iniciales no utilizadas.

Preguntas frecuentes

¿Qué significa el número de variables inferido?

El sistema calcula el menor número de variables (de 1 a 4) que puede representar el índice más grande que haya introducido. Por ejemplo, si el índice máximo es 7, se necesitan 3 variables (A, B, C).

¿Puedo introducir minterms duplicados?

Sí, los duplicados se eliminan automáticamente. Solo se consideran los valores únicos.

¿Qué ocurre si introduzco todos los minterms posibles?

Si introduce todos los minterms para el ancho inferido (por ejemplo, 0,1,2,3 para 2 variables), la expresión simplificada será la constante 1.

Lista de verificación

• Verifique que los minterms estén en el rango 0-15.
• Compruebe que el número de variables inferido sea el esperado.
• Revise la expresión simplificada y compárela con su tabla de verdad.
• Tenga en cuenta que no hay soporte para don't-care ni POS.