Cómo generar la tabla
- Escribe una expresión con variables, 0/1 o TRUE/FALSE.
- Usa NOT, AND, XOR, OR, -> y <-> o sus símbolos.
- Genera; las variables siguen el primer orden de aparición.
- Revisa y copia la tabla separada por tabulaciones.
Analizador y precedencia
La expresión se tokeniza y analiza directamente; nunca se ejecuta con eval o Function. La precedencia es NOT, AND, XOR, OR, implicación y equivalencia.
Con n variables hay 2ⁿ filas, hasta 64. La implicación solo es falsa para verdadero -> falso y la equivalencia exige valores iguales.
Expresiones comprobadas
A -> B da 1,1,0,1; A XOR B da 0,1,1,0.
A OR NOT A es tautología; A AND NOT A es contradicción.
Sintaxis y límites
- Los nombres empiezan por letra ASCII y distinguen mayúsculas.
- Se informan símbolos, operandos, operadores, paréntesis y exceso de variables.
- No simplifica, demuestra, dibuja circuitos, crea mapas K ni ejecuta código.
Preguntas frecuentes
¿Por qué seis variables?
Cada variable duplica las filas; seis generan 64.
¿Qué operador manda?
NOT, AND, XOR, OR, implicación y equivalencia.
¿Cómo se ordenan?
Por primera aparición, falso antes de verdadero.
¿Qué significan las clases?
Siempre verdadera, siempre falsa o mezcla.