← 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

Keyboard: Enter = Generate, Escape = Clear

↔ Equivalence Checker

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 (Material Conditional)

p → q ≡ ¬p ∨ q

Absorption

p ∧ (p ∨ q) ≡ p

Idempotent (AND)

p ∧ p ≡ p

Idempotent (OR)

p ∨ p ≡ p

Contrapositive

p → q ≡ ¬q → ¬p

Biconditional

p ↔ q ≡ (p → q) ∧ (q → p)

🔝