See a formula's syntax tree, its main connective and every subformula.
How this works
One formula, as in (P → Q) ∨ ¬P.
Enter a formula to see its syntax tree.