The Truth Tree Solver is a free-to-use web tool that determines the consistency of a set of logical sentences according to the rules of Sentential Logic (SL) (aka Propositional Logic or Propositional Calculus). Given a set of symbolic sentences, this tool constructs a truth tree and outputs its visual representation using the same format as in The Logic Book by Bergmann, Moor and Nelson.

Start the Truth Tree Solver!