The expression (PlorQ)landnegP(P \\lor Q) \\land \\neg P(PlorQ)landnegP simplifies to:
QQQ
negPlandQ\\neg P \\land QnegPlandQ
PlandQP \\land QPlandQ
FalseFalseFalse