`~[pvv(~Q)]-=(~p)^^q``(pvvq)VV(~q)` is a tautology`(p^^q)^^(~q)` is a CONTRADICTION`~(pvvq)-=(~p)vv(~q)`
Your experience on this site will be improved by allowing cookies. Read Cookie Policy