Find the negation of (forallx)(P(x)lorQ(x))(\\forall x)(P(x) \\lor Q(x))(forallx)(P(x)lorQ(x)).
(existsx)(negP(x)landnegQ(x))(\\exists x)(\\neg P(x) \\land \\neg Q(x))(existsx)(negP(x)landnegQ(x))
(existsx)(negP(x)lornegQ(x))(\\exists x)(\\neg P(x) \\lor \\neg Q(x))(existsx)(negP(x)lornegQ(x))
(forallx)(negP(x)landnegQ(x))(\\forall x)(\\neg P(x) \\land \\neg Q(x))(forallx)(negP(x)landnegQ(x))
(existsx)(P(x)landQ(x))(\\exists x)(P(x) \\land Q(x))(existsx)(P(x)landQ(x))