Una tabla de verdad presenta cada combinación posible de valores verdadero/falso para las variables de una expresión lógica y muestra el resultado correspondiente para cada una — la base de la lógica proposicional, el diseño de circuitos digitales y las demostraciones formales. Esta calculadora construye esa tabla para cualquier expresión que escribas, usando un analizador seguro escrito a mano en lugar de un atajo de ejecución de código dinámico, y clasifica automáticamente el resultado como tautología, contradicción o contingencia.
Cómo funciona la calculadora
Tu expresión se lee en un pequeño árbol de análisis que ya codifica la precedencia de operadores: NOT se une más fuerte, luego AND, luego XOR, luego OR, luego IMPLIES, y finalmente IFF (el bicondicional), que se une más débil — la misma convención usada en la mayoría de los libros de texto de lógica. Cada variable distinta de una sola letra se recopila automáticamente, y la calculadora genera las 2ⁿ combinaciones posibles de verdadero/falso para n variables, evaluando el árbol de análisis una vez por fila. No se usa eval() ni ejecución de código dinámico en ningún lugar — el analizador solo reconoce variables, los operadores admitidos y paréntesis, así que nada de lo que escribas puede ejecutarse como código.
Cómo leer la sintaxis de entrada
Las variables deben ser letras individuales (A, B, C…), y los operadores pueden escribirse de tres formas: como palabra clave (AND, OR, NOT, XOR, IMPLIES o THEN, IFF), como alias ASCII (&&, ||, !, ->, <->), o como el símbolo formal (∧ ∨ ¬ ⊕ → ↔) — las tres formas pueden mezclarse libremente en la misma expresión. Los paréntesis anulan la precedencia predeterminada exactamente igual que en aritmética, así que A OR (B AND NOT C) y (A OR B) AND NOT C producen tablas diferentes.
Límites y casos extremos
El analizador rechaza cualquier cosa que no sea una variable de una sola letra, un operador admitido o un paréntesis — los identificadores de varias letras (como foo) generan un error claro en lugar de ser ignorados silenciosamente, ya que solo las letras individuales se tratan como variables. Para mantener la tabla legible y el cálculo instantáneo, las expresiones están limitadas a 8 variables distintas (256 filas) y 300 caracteres; superar cualquiera de los dos límites devuelve un error en lenguaje sencillo en lugar de una tabla incorrecta o truncada.