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