Expression entry help
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.