Logical Formula Evaluator

Logical Formula Evaluator 1.02

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. Ver descripción completa

PROS

  • Atajos de teclado para cada símbolo
  • Tablas de verdad exportables
  • Comprobación de sintaxis

CONTRAS

  • Limitado a una sola línea
  • Un sólo tipo de paréntesis

Útil
6

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.

Logical Formula Evaluator soporta los siguientes formatos

LFO
Logical Formula Evaluator

Descargar

Logical Formula Evaluator 1.02

— Opinión usuarios — sobre Logical Formula Evaluator

  • Allandesu

    por Allandesu

    "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 cuand... Más.

    analizado el 21 de marzo de 2009