Truth Tree Solver

Write a symbolic sentence in the text field below. You may add any letters with your keyboard and add special characters using the appropriate buttons. When your sentence is ready, click the "Add sentence" button to add this sentence to your set. You may add additional sentences to your set by repeating this step.


Setup your set members

A sequence of letters, numbers or underscore (_) characters
Regular parentheses (…) or square brackets […]
A sequence of letters, numbers or underscore (_) characters
A sequence of letters, numbers or underscore (_) characters
Regular parentheses (…) or square brackets […]