<P>is a TAUTOLOGY is EQUIVALENT to `(p ^^ Q) VEE ~q`is equivalent to `p vee q `is a contradiction
Your experience on this site will be improved by allowing cookies. Read Cookie Policy