Semantic Tableaux Solver For Propositional Logic
Detailed App Info:
Application Description
Free for a limited time only!!!
A Solver for Propositional Logic using a technique called Semantic Tableaux. This works by converting a propositional phrase into disjunction normal form and then constructing a tree based on satisfiability.
Key featurse include :-
- Truth Table generation
- Parse Tree
- PDF containing all elements that are generated (parse tree, semantic proof and truth table)
- Ability to stop the search once a solution is found during the semantic proof finder
A Solver for Propositional Logic using a technique called Semantic Tableaux. This works by converting a propositional phrase into disjunction normal form and then constructing a tree based on satisfiability.
Key featurse include :-
- Truth Table generation
- Parse Tree
- PDF containing all elements that are generated (parse tree, semantic proof and truth table)
- Ability to stop the search once a solution is found during the semantic proof finder
Requirements
Your mobile device must have at least 6.77 MB of space to download and install Semantic Tableaux Solver For Propositional Logic app. Semantic Tableaux Solver For Propositional Logic was updated to a new version. Purchase this version for $0.99
If you have any problems with installation or in-app purchase, found bugs, questions, comments about this application, you can visit the official website of Simon Whitehouse at https://twitter.com/dairyseeker.
Copyright © 2013 Simon J Whitehouse
