Module 2

Propositional Logic

Generate truth tables, evaluate propositions, and explore step-by-step sub-formula expansion for any propositional formula.

Step-by-Step Truth Table

Each sub-formula becomes its own column, showing the evaluation order left-to-right

Use: AND ∧ | OR ∨ | NOT ! ¬ | → -> | ↔ <->

Enter a proposition; toggle variable values below

∧ & && AND

Conjunction — both true

∨ | || OR

Disjunction — at least one true

¬ ! ~ NOT

Negation — flip truth value

→ -> IMPLIES

Conditional — false only T→F

↔ <-> IFF

Biconditional — same value