THE TRUTH TABULATOR

 
 

 
 
 
 
 
 
 
 
 
 
   
   
 
   

 

INSTRUCTIONS. Type in a formula with the symbol-buttons left under the table. The formula appears step-by-step on the screen. Typing mistakes can be adjusted with the DEL-button.

Btw, if parentheses are forgotten the machine will fill in those himself! Beware, ambiguous input maybe disambiguated not the way you expected.

 

After the formula has been typed in click PUT to set up the table. The 0/1 digits are filled in for the proposition letters.

Click STEP to let the tabulator fill in the first column. Repeat clicking STEP to have the following columns filled in. In order to show the computation the columns that are used to calculate the current step will be indicated by a yellow arrow on top and yellow 0/1-digits. The new column that is computed will be indicated by a red arrow and red digits.

  To clear the whole table and the formula click CLEAR.