Simplify ¬(¬P∨¬Q)\neg(\neg P \lor \neg Q)¬(¬P∨¬Q).
P∨QP \lor QP∨Q
P∧QP \land QP∧Q
¬P∧¬Q\neg P \land \neg Q¬P∧¬Q
¬P∨¬Q\neg P \lor \neg Q¬P∨¬Q