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