Logical Formula Evaluator es una sencilla herramienta que permite
editar y evaluar sentencias de lógica proposicional, las cuales, pueden haber sido escritas mediante el teclado o utilizando las barras de ayuda disponibles en la aplicación.
Características y funciones principales de Logical Formula Evaluator
- Su funcionamiento resulta muy sencillo, ya que la tecla "&" generará una conjunción, mientras que "|" redactará una disyunción.
- Permite también utilizar ">" y "=" para las relaciones, mientras que "¬" y "+" pueden ser usadas para la negación y la disyunción exclusiva, respectivamente.
- Una vez se haya completado la sentencia, "F9" comprobará la sintaxis, mientras que "F5" determinará la tabla de valores verdaderos y falsos.
- En la barra de estado inferior, se visualizará el número de símbolos y operadores utilizados, así como la localización del último error.
- Su principal inconveniente consiste en que no permite utilizar más de una línea, con lo que resulta imposible ejecutar derivaciones.
Si deseas una aplicación que te permite editar,resolver y evaluar todas aquellas sentencias lógicas proposicionales que plantees y redactes, no necesitas buscar nada más,
descarga ahora Logical Formula Evaluator.