Download free Safe download (0.18 MB)
5 downloads (last 7 days)
An editing and solution tool to help you with creating and solving propositional formulas.
Review by Karen M.
Logical Formula Evaluator is a simple tool that allows you to edit and evaluate sentences of propositional logic, that can be written on a keyboard or using bars that are included in the application to help.
Characteristics and principle functions of Logical Formula Evaluator
If you want an application that allows you to edit, solve and evaluate all these sentences in propositional formulas that you plan and edit, do not look any more, download Logical Formula Evaluator now.
Characteristics and principle functions of Logical Formula Evaluator
- Its functions are really very simple, which the key '&' generates a conjunction, while the key '|' will write a disjunction.
- Allows you to utilize '>' and '=' for the relations, while '¬' y '+' can be used for negative anf exclusive disjunction, respectively.
- Once you have completed a sentence, 'F9' tests the syntax, while 'F5' determines if the values of the table are true or false.
- In the preview status bar, you can visualize the number of symbols and utilize operators, as well as locate the last error.
- >Its principle inconvenience is that it does not let you use more than one line, which makes it impossible to execute branches.
If you want an application that allows you to edit, solve and evaluate all these sentences in propositional formulas that you plan and edit, do not look any more, download Logical Formula Evaluator now.
Ratings about Logical Formula Evaluator
Brilliant
1 votes
1 review by registered users
(oculto)
1
0
4 years and 4 months ago
IT'S VERY GOOD I SOLVED ALMOST ALL MY MATH EXERCISES
helpful?
Original review in Spanish translated with Google Translate. Read the original.
More Logical Formula Evaluator alternatives
Additional details
Size
0.18 MB
Latest version
1.0.2
Language
English
Total Downloads
1,489
Works with
Windows 2000, XP, Vista
Date
8 years and 11 months ago
Developer
Gajo CsabaSecurity analysis
Trusted
