Propositional Logic Builder
Build a formula, then inspect its truth table, parse tree, or a natural-deduction proof.
Preset
Variables
click buttons below to build a formula…
⌫ Backspace
Clear
🌳 Parse Tree
📊 Truth Table
🧩 Natural Deduction
Build a formula to see its parse tree.
Build a formula to see its truth table.
Proof
Next step ▶
↺ Restart