👤

Prove each of the following using our natural deduction system.
show every step and its full justification. You may only use primitive laws.
P (QVC) + (P & ~Q) > C