What is the negation of 'PrightarrowQP \\rightarrow QPrightarrowQ'?
QrightarrowPQ \\rightarrow PQrightarrowP
PlandnegQP \\land \\neg QPlandnegQ
negPlorQ\\neg P \\lor QnegPlorQ
negPrightarrownegQ\\neg P \\rightarrow \\neg QnegPrightarrownegQ