Descargar Gratis Descarga Segura (0,18 MB)
0 descargas (7 días)
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
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 previos verificados
(oculto)
1
0
Hace 1 año y 4 meses
es muy bueno resolví casi todos mi ejercicios de matemáticas
¿útil?
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
Autor
Gajo Csaba
Análisis antivirus
Sin virus
