¬¬(¬P∧¬Q)⇒¬(P∨Q)