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