Express PimpliesQP \\implies QPimpliesQ using only lor\\lorlor and neg\\negneg.
negPlornegQ\\neg P \\lor \\neg QnegPlornegQ
neg(PlorQ)\\neg(P \\lor Q)neg(PlorQ)
PlornegQP \\lor \\neg QPlornegQ
negPlorQ\\neg P \\lor QnegPlorQ