Conversor de expresión booleana en línea

Convierta expresiones booleanas en tablas de verdad y formas canónicas

Esta herramienta le ayuda a comprender y verificar expresiones booleanas. Por ejemplo, si introduce A && (B || !C), obtendrá una tabla de verdad con 8 filas (2^3) y las filas verdaderas para 100, 110 y 111. La DNF resultante es (A && !B && !C) || (A && B && !C) || (A && B && C).

Entrada admitida

La expresión puede incluir variables con nombres ASCII (A-Z, a-z), paréntesis, operadores NOT (! o NOT), AND (&& o AND) y OR (|| o OR), así como las constantes true y false. Los operadores y constantes no distinguen mayúsculas, pero los nombres de variables sí. No se admiten XOR, implicación, equivalencia, constantes numéricas 0/1 ni diagramas de circuito.

Procesamiento y precisión

La herramienta utiliza un analizador léxico y un analizador recursivo dedicados; no emplea eval ni ejecuta código. Respeta la precedencia: primero NOT, luego AND y después OR. Rechaza caracteres no admitidos, sintaxis incorrecta y paréntesis no balanceados. Todo el procesamiento se realiza localmente en su navegador.

Límites

Acepta un máximo de seis variables distintas, lo que genera hasta 64 filas en la tabla de verdad. Si introduce más de seis variables, se muestra un error en lugar de ignorarlas. Las formas canónicas no se minimizan algebraicamente; para simplificaciones, use la herramienta de mapa de Karnaugh.

Preguntas frecuentes

¿Qué significan DNF y CNF?

DNF (forma normal disyuntiva) es una suma de minterms: una OR de términos AND donde cada término incluye todas las variables. CNF (forma normal conjuntiva) es un producto de maxterms: una AND de términos OR. Ambas son formas canónicas que representan exactamente la misma función booleana.

¿Puedo usar variables con nombres de varias letras?

No. Solo se admiten nombres de variables de una sola letra (A-Z o a-z). Los nombres de varias letras se interpretarían como operadores o constantes (por ejemplo, AND, OR, NOT, true, false) o producirían un error.

¿Por qué obtengo un error con más de seis variables?

La herramienta limita el número de variables a seis para mantener la tabla de verdad en un tamaño manejable (64 filas). Si necesita más variables, divida la expresión o use otra herramienta.

Privacidad

Todo el análisis se realiza localmente en su navegador; no se envían datos a ningún servidor.

Lista de verificación

• Use variables de una sola letra (A-Z, a-z).
• Use paréntesis para agrupar subexpresiones.
• Use operadores válidos: ! o NOT, && o AND, || o OR.
• No use XOR, implicación ni constantes numéricas.
• Máximo seis variables distintas.
• Verifique que los paréntesis estén balanceados.