InterviewSolution
<P>`p VV (Q to p)` `~ q to ~ p` `(q to p) vv (~p to q)` `p ^^ ~ p`
Your experience on this site will be improved by allowing cookies. Read Cookie Policy