This tool generates truth tables for truth functional logic formulas. You can enter logical operators in several different formats. For example, the formula p ∧ q → ¬r could be written as p /\ q -> ~r, as p and q => not r, or as p && q -> !r. The connectives ⊤ and ⊥ can be entered as T and F.