Resuelve sentencias simples de lógica proposicional
Logical Formula Evaluator es un pequeño editor de sentencias de lógica proposicional con el cual puedes evaluar sentencias escritas con el teclado o usando los botones de las dos barras disponibles.
En Logical Formula Evaluator, la tecla & hará aparecer una conjunción, mientras que | escribirá una disyunción. Puedes usar > y = para las relaciones, mientras que ¬ y + sirven para la negación y la disyunción exclusiva respectivamente.
Cuando hayas completado la sentencia, F9 comprobará la sintaxis, mientras que F5 calculará la tabla de valores verdaderos y falsos. En la barra de estado inferior, Logical Formula Evaluator hará constar el número de símbolos y operadores empleados, así como la posición del último error.
Ligero y sin pretensiones, Logical Formula Evaluator dista de ser perfecto. No permite usar más de una línea, con lo que es imposible realizar derivaciones. Aún así, puede ser útil para verificar sentencias simples.
