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

Autor

Análisis antivirus

Sin virus


Alternativas a Logical Formula Evaluator

DeadLine

Programa para solucionar todas nuestras ecuaciones matemáticas de forma grafica.

Gratis Descargar
Ecualin
Obsoleto

Aplicación para resolver sistemas de ecuaciones lineales.

Gratis Descargar
MathCast

Redacción y edición de ecuaciones, matrices y vectores.

Gratis (libre) Descargar
Coq

Comprobador de teoremas matemáticos

Gratis (libre) Descargar
MathType

Una ayuda para el difícil trabajo de la edición de fórmulas matemáticas

Evaluación Descargar
Math Mechanixs

Programa para solucionar nuestros problemas matemáticos.

Gratis Descargar