(P∧¬Q)∨Q⇒P