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