((p ∨ ¬q) ∧ (p → q)) = Ø ?