«Herramienta de edición y resolución de fórmulas lógicas proposicionales»
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.