P⇒(P∧¬Q)∨Q