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