I am having problem with those two questions. please help . this is a CSE2315 discrete course.

Use propositional logic to prove the validity of the arguments in Exercises 25-33. These will become additional derivation rules for propositional logic, summarized in Table 1.14 27. (Q-P)(P-O) 29. PV P-P(Hint: Instead of assuming the hypothesis, begin with a version of Exercise 28; also make use of Exercise 27.) 30. PAO)-R[P-R)] 32. (Q V R) 33. PV (Q R) (PA O) V (P R) (Hint: First rewrite the conclusion.) (PV Q) (PVR) (Hint: Prove both PV (Q R)-> (PV Q) and PV (Q R). (P V R); for each proof, first rewrite the conclusion.) TABLE 1.14 More Inference Rules From P4 Q, Q-R PVQ, P Can Derive Name/Abbreviation for Rule Hypothetical syllogism-hs Disjunctive syllogism-ds Contraposition-cont Contraposition-cont Self-reference-self Self-reference-self Exportation-exp Inconsistency-inc | P-R [Example 16] Q [Exercise 25] Q-P' [Exercise 26 P-Q [Exercise 27 P ^ P [Exercise 28] P [Exercise 29] PVP PAQ) RP Q-R) [Exercise 30] P, P Q [Exercise 31 (P Q) V (P R) Exercise 32] | Distributive-dist PV Q) A (PVR) [Exercise 33] Distributive-dist