InterviewSolution
`(p VV q) vv (-r) -= p vv (q vv r)``p vv (q vv r) -= (p vv q) wedge (p vv r)``p LEFTRIGHTARROW q -= (p to -q)``p vv -q` is a tautology
Your experience on this site will be improved by allowing cookies. Read Cookie Policy