← Back to Learning Tools

⊤⊥ Truth Table Generator

Generate truth tables for logical expressions

p ∧ q p ∨ q ¬p p → q p ↔ q p ∧ (q ∨ r) ¬(p ∧ q) ¬p ∨ ¬q p ⊕ q biconditional

Logic Laws

De Morgan's Law 1

¬(p ∧ q) ≡ ¬p ∨ ¬q

De Morgan's Law 2

¬(p ∨ q) ≡ ¬p ∧ ¬q

Distributive

p ∧ (q ∨ r) ≡ (p ∧ q) ∨ (p ∧ r)

Double Negation

¬(¬p) ≡ p

Implication

p → q ≡ ¬p ∨ q

🔝