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