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

Convierte una tabla de verdad en una expresión lógica

Esta herramienta en línea genera la expresión lógica equivalente a una tabla de verdad definida por sus minterms. Es útil para estudiantes y profesionales que necesitan obtener una representación algebraica de una función booleana.

Entrada y salida

Introduce las variables (por ejemplo, A,B) y los índices de las filas con resultado 1. Por ejemplo, con variables A,B y minterms 1,2, la salida es (!A && B) || (A && !B).

Forma canónica

La expresión generada está en forma normal disyuntiva canónica: cada término incluye todas las variables, usando ! para negación, && para AND y || para OR. No se minimiza la expresión.

Limitaciones

La herramienta no acepta filas de indiferencia (don't-care), no genera forma producto de sumas (CNF/POS), no dibuja circuitos y no importa tablas de verdad tabulares. Para expresiones minimizadas, usa la herramienta de mapa de Karnaugh.

Preguntas frecuentes

¿Qué significa que la salida sea false?

Si no se introduce ningún minterm, la función es 0 para todas las asignaciones, por lo que la expresión es false.

¿Cómo se interpreta el orden de las variables?

La primera variable es el bit más significativo del índice del minterm. Por ejemplo, con variables A,B, el minterm 1 corresponde a A=0, B=1.

¿Se pueden introducir minterms duplicados?

Sí, los duplicados se eliminan automáticamente.

Lista de verificación

• Verifica que los identificadores de variable sean únicos y estén separados por comas.
• Confirma que los índices de minterms estén en el rango de 0 a 2^n - 1, donde n es el número de variables.
• Comprueba que la expresión resultante coincida con la tabla de verdad esperada.

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. Usa 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.