Use equivalence and inference rules to solve these proofs.

Question 4 (20 points) Use propositional logic to prove the following arguments are valid (a) (PV(QAR))A(R, v S )A(ST, ) (T P) (b) (AAB)a(B+A)-(CAB') (d) (AVB')"A(B C) (A"AC) (e) (A+B)a[Aw(B+C)] (A C)