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.
Opinión usuarios sobre Logical Formula Evaluator
por Anonimo
Hace lo que promete, ni más ni menos.
Sencillo programa para calcular el valor de verdad de fórmulas de la lógica de enunciados bivalente. Muy aliviador cuando se trata de calcular con más de 3 letras enunciativas. Ideal para que el novato compruebe el resultado de sus tablas de verdad. Más