TABLEAU EDITOR

Symbol
Next action  
Enter truth value and formula +
   
Enter left formula and truth value +
Enter right formula and truth value +
   
Define the problem: enter truth value and formula +
   
Finished: open branch complete
Error message appears here.

Choose from the menu how you want to proceed: