Conversor de tabla de verdad a expresión lógica

¿Qué hace esta herramienta?

Convertís una tabla de verdad en su expresión lógica equivalente. Por ejemplo, con variables A,B y minterms 1,2, la salida es (!A && B) || (A && !B).

Parámetros y procesamiento

La primera variable es el bit más significativo. Los índices duplicados se eliminan. La salida es la forma normal disyuntiva canónica: cada fila seleccionada genera un minterm completo.

Limitaciones

No minimiza la expresión, no acepta filas de indiferencia, no genera CNF/POS, no dibuja compuertas ni importa tablas. Para expresiones minimizadas usá la herramienta de mapa de Karnaugh.

Preguntas frecuentes

¿Qué pasa si ingreso un índice fuera de rango?

El índice debe estar entre 0 y 2^n - 1. Si ingresás un valor inválido, la herramienta mostrará un error.

¿Cómo sé qué variable es la más significativa?

La primera variable que ingresás es la más significativa. Por ejemplo, con A,B, el minterm 1 corresponde a A=0, B=1.

¿Puedo usar más de 6 variables?

No, la herramienta acepta como máximo 6 variables.

Lista de verificación

• Verificá que los identificadores sean únicos y ASCII.
• Confirmá que los índices estén en el rango correcto.
• Revisá que la expresión use !, && y ||.
• Recordá que la salida no está minimizada.

Los índices de minterms repetidos se cuentan una sola vez y conservan el orden de su primera aparición. AND, OR, NOT, true y false son nombres reservados, sin distinguir mayúsculas y minúsculas. Cada campo admite como máximo 500.000 unidades de código UTF-16; la expresión generada tiene el mismo límite. Usá nombres cortos, porque cada fila seleccionada repite todas las variables. La expresión no se minimiza. La herramienta K-map de este sitio admite como máximo cuatro variables.