Descargar Gratis Descarga Segura (0,18 MB)
10 descargas (7 días)
Herramienta de edición y resolución de fórmulas lógicas proposicionales
Análisis de 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
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.
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
Opiniones verificadas
1 opinión de usuarios verificados
(oculto)
1
0
Hace 4 años y 7 meses
es muy bueno resolví casi todos mi ejercicios de matemáticas
¿útil?
Otras alternativas a Logical Formula Evaluator
Más información
Tamaño
0,18 MB
Última versión
1.0.2
Idioma
Inglés
Descargas totales
13.697
Funciona en
Windows 2000, XP, Vista
Fecha
hace 14 años y 3 meses
Autor
Gajo CsabaAnálisis de seguridad
De confianza
