The statement neg(PlorQ)\\neg(P \\lor Q)neg(PlorQ) is equivalent to:
negPlornegQ\\neg P \\lor \\neg QnegPlornegQ
negPlandnegQ\\neg P \\land \\neg QnegPlandnegQ
PlandQP \\land QPlandQ
negPrightarrowQ\\neg P \\rightarrow QnegPrightarrowQ