Logical Formula Evaluator

Logical Formula Evaluator

    1.0.2

6º de 9 en Resolver ecuaciones

Gratis
     
5

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

Análisis detallado

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.

Valoraciones sobre Logical Formula Evaluator

Muy Bueno

5 votos

  • Excelente 
  •  
  • 0
  • Muy Bueno 
  •  
  • 3
  • Normal 
  •  
  • 2
  • Malo 
  •  
  • 0
  • Pésimo 
  •  
  • 0

]
 

Más información

Tamaño

0,18 MB

Versión

1.0.2

Idioma

Inglés 

Descargas totales

12.548

Funciona en

Windows 2000, XP, Vista

Fecha

hace 8 años y 5 meses

Autor

Análisis antivirus

Sin virus