Logical Formula Evaluator

1.0.2

Descargar Gratis Descarga Segura (0,18 MB)

0 descargas (7 días)

6º de 9 en Resolver ecuaciones

Gratis

Herramienta de edición y resolución de fórmulas lógicas proposicionales

Análisis detallado

Carmen Manzanares, editor en PortalProgramas Por Carmen Manzanares

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.