InterviewSolution
<P>`(~p VV Q) ~ (p vv ~q)``(~p vv ~q) to p vv q``(p vv ~q) ^^ (p vv q)``(~p vv ~q) vv (p vv q)`
Your experience on this site will be improved by allowing cookies. Read Cookie Policy