<P>p `^^ (~p)` is a TAUTOLOGY `p VEE (~p)` is a CONTRADICTION`p ^^ p = p ``p vee (~p) = p `
Your experience on this site will be improved by allowing cookies. Read Cookie Policy