Tableau

Tableau is a small program that can generate tableaux from a list of expressions in propositional logic. It is also able to generate truth tables for the given expressions.

For example, running the command tableau '[t>r]&[r>t],q|s,~[q&t]' generates:

          [[t<r]&[r<t]]          
              [q|s]              
             ~[q&t]              
                |                
              [t<r]              
              [r<t]              
      |---------------|          
      q               s          
 |-----|         |---------|     
~q    ~t        ~q        ~t     
--   |----|    |----|    |----|  
     |    |    |    |    |    |  
    ~t    r   ~t    r   ~t    r  
    |-|  |-|  |-|  |-|  |-|  |-| 
   ~r t ~r t ~r t ~r t ~r t ~r t 
      - -- -    - --      - -- - 

Tableau can also generate truth tables like the one below:

q r s t | [[t>r]&[r>t]] [q|s] ~[q&t]
--------+---------------------------
T T T T |       T         T     F   
T T T F |       F         T     T   
T T F T |       T         T     F   
T T F F |       F         T     T   
T F T T |       F         T     F   
T F T F |       T         T     T   
T F F T |       F         T     F   
T F F F |       T         T     T   
F T T T |       T         T     T   
F T T F |       F         T     T   
F T F T |       T         F     T   
F T F F |       F         F     T   
F F T T |       F         T     T   
F F T F |       T         T     T   
F F F T |       F         F     T   
F F F F |       T         F     T   

Finally, it is also possible to make Tableau use unicode characters for the expressions. If you have a terminal or text-editor capable of reading UTF-8 it will display something like this:

Download

The program comes with ABSOLUTELY NO WARRANTY. It is free software, and you are welcome to redistribute it under the terms of the GPL.

• Source code for tableau version 0.1.
• You can also download a pre-compiled Windows version built with MinGW if you're that way inclined. Please note, the windows version is still a command-line program so you have to run it from a Command Prompt window.