Visual Tools
Calculators
Tables
Mathematical Keyboard
Converters
Other Tools

Proposition Analyzer & Tree Builder

Copy proposition to clipboard
Undo last change
Clear proposition
Generate syntax tree and truth table
AND: Logical AND - Both statements must be true
OR: Logical OR - At least one statement must be true
IMPLIES: Implication - If P then Q
EQUIVALENT: Logical equivalence - Both statements have the same truth value
XOR: Exclusive OR - Only one statement must be true
NOT: Negation - Opposite truth value
Opening parenthesis
Closing parenthesis

Syntax Tree

No valid tree to display

Truth Table

No truth table to display