The statement PrightarrowQP \\rightarrow QPrightarrowQ is logically equivalent to:
negPlorQ\\neg P \\lor QnegPlorQ
PlornegQP \\lor \\neg QPlornegQ
negPlandQ\\neg P \\land QnegPlandQ
QrightarrowPQ \\rightarrow PQrightarrowP