Semantic Tableaux Solver For Propositional Logic app for iPhone and iPad

4.2 ( 9312 ratings )

Utilities Productivity
Developer: Simon Whitehouse

0.99 USD

Current version: 1.3, last update: 7 years ago
First release : 18 Mar 2013
App size: 888 Kb

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