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

Introduzca 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, use 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

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