This tool generates truth tables for propositional logic formulas. You can enter logical operators in several different formats. For example, the propositional 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**.