Conversor de expresión booleana en línea

Qué hace esta herramienta y cómo le ayuda

Esta herramienta resuelve el problema de evaluar manualmente expresiones booleanas complejas. Por ejemplo, si usted ingresa A && (B || !C), el conversor genera la tabla de verdad completa y las formas canónicas. Las filas verdaderas son 100, 110 y 111 (donde 1 = verdadero, 0 = falso). La DNF comienza con (A && !B && !C) || (A && B && !C) || (A && B && C).

Procesamiento real

El conversor utiliza un analizador léxico y un analizador sintáctico recursivo para evaluar la expresión. No usa eval ni ejecuta código. La precedencia de operadores es: NOT primero, luego AND, luego OR. Se aceptan hasta seis variables distintas, generando hasta 64 filas en la tabla de verdad. Si hay más de seis, se muestra un error.

Limitaciones importantes

• No admite XOR, implicación, equivalencia, constantes numéricas 0/1, diagramas de circuitos ni más de seis variables.
• Las formas canónicas no se minimizan algebraicamente; para simplificar, use la herramienta de mapas de Karnaugh.
• Todo el procesamiento se realiza localmente en su navegador; no se envían datos a ningún servidor.

Preguntas frecuentes

¿Qué significa que la DNF y la CNF son canónicas?

Significa que son formas estándar que representan exactamente la función booleana, pero no están simplificadas. La DNF es una suma de minterms (productos de variables o sus negaciones) y la CNF es un producto de maxterms (sumas). Para simplificar, use la herramienta de mapas de Karnaugh.

¿Puedo usar variables con nombres de varias letras?

No. El conversor solo acepta nombres de variables de una letra (A-Z o a-z). Los nombres distinguen mayúsculas y minúsculas, por lo que A y a son variables distintas.

¿Qué ocurre si ingreso más de seis variables?

El conversor mostrará un error. Esto evita tablas de verdad demasiado grandes (más de 64 filas). Debe reducir el número de variables o dividir el problema.