Logical Formula Evaluator

Logical Formula Evaluator

    1.0.2

6º de 9 en Resolver ecuaciones

Gratis
     

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.

Valoraciones sobre Logical Formula Evaluator

Muy Bueno

7 votos

  • Excelente 
  •  
  • 2
  • Muy Bueno 
  •  
  • 3
  • Normal 
  •  
  • 2
  • Malo 
  •  
  • 0
  • Pésimo 
  •  
  • 0
¿Lo recomendarías? 
 
5
¿Cumple las expectativas? 
 
5
¿Es fácil de usar? 
 
5
¿Funciona bien? 
 
4
¿Es fiable y segura? 
 
4
¿Es rápida? 
 
5
¿Es mejor que otras similares? 
 
5
¿Ofrece muchas funcionalidades? 
 
5

Opiniones verificadas

1 opinión de usuarios previos verificados

(oculto)

1

0

Hace 1 año y 9 meses

es muy bueno resolví casi todos mi ejercicios de matemáticas

¿Lo recomendarías? 
 
5
¿Cumple las expectativas? 
 
5
¿Es fácil de usar? 
 
5
¿Funciona bien? 
 
4
¿Es fiable y segura? 
 
4
¿Es rápida? 
 
5
¿Es mejor que otras similares? 
 
5
¿Ofrece muchas funcionalidades? 
 
5
¿útil? Gracias


 

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 11 años y 5 meses

Autor

Gajo Csaba

Análisis antivirus

Sin virus

Alternativas a Logical Formula Evaluator

Ro3n

Aplicación básica para la resolución de ecuaciones lineales y cuadráticas.

Gratis (libre) Descargar
MathType

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

Evaluación Descargar
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