InterviewSolution
<P>[p`VV`(~Q)]~=(~p)`vv`q[p`vv`q]`vv`(~p) is a TAUTOLOGY [p`^^`q]`^^` (~p) is a CONTRADICTION ~[p`vv`q]~=(~p)`vv`(~q)
Your experience on this site will be improved by allowing cookies. Read Cookie Policy