p = 1, q = 1, r = 1: ¬p = 0, r ∨ ¬p = 1, p → (r ∨ ¬p) = 1, r ∨ q = 1, (r ∨ q) ↔ q = 1, (p → (r ∨ ¬p)) ∧ ((r ∨ q) ↔ q) = 1
p = 1, q = 1, r = 0: ¬p = 0, r ∨ ¬p = 0, p → (r ∨ ¬p) = 0, r ∨ q = 1, (r ∨ q) ↔ q = 1, (p → (r ∨ ¬p)) ∧ ((r ∨ q) ↔ q) = 0
p = 1, q = 0, r = 1: ¬p = 0, r ∨ ¬p = 1, p → (r ∨ ¬p) = 1, r ∨ q = 1, (r ∨ q) ↔ q = 0, (p → (r ∨ ¬p)) ∧ ((r ∨ q) ↔ q) = 0
p = 1, q = 0, r = 0: ¬p = 0, r ∨ ¬p = 0, p → (r ∨ ¬p) = 0, r ∨ q = 0, (r ∨ q) ↔ q = 1, (p → (r ∨ ¬p)) ∧ ((r ∨ q) ↔ q) = 0
p = 0, q = 1, r = 1: ¬p = 1, r ∨ ¬p = 1, p → (r ∨ ¬p) = 1, r ∨ q = 1, (r ∨ q) ↔ q = 1, (p → (r ∨ ¬p)) ∧ ((r ∨ q) ↔ q) = 1
p = 0, q = 1, r = 0: ¬p = 1, r ∨ ¬p = 1, p → (r ∨ ¬p) = 1, r ∨ q = 1, (r ∨ q) ↔ q = 1, (p → (r ∨ ¬p)) ∧ ((r ∨ q) ↔ q) = 1
p = 0, q = 0, r = 1: ¬p = 1, r ∨ ¬p = 1, p → (r ∨ ¬p) = 1, r ∨ q = 1, (r ∨ q) ↔ q = 0, (p → (r ∨ ¬p)) ∧ ((r ∨ q) ↔ q) = 0
p = 0, q = 0, r = 0: ¬p = 1, r ∨ ¬p = 1, p → (r ∨ ¬p) = 1, r ∨ q = 0, (r ∨ q) ↔ q = 1, (p → (r ∨ ¬p)) ∧ ((r ∨ q) ↔ q) = 1