use truth tables for number 1

1. Let P be the wff A + B. Prove or disprove whether P is equivalent with any of the following related wffs. (a) the converse of P, B + A (b) the inverse of P, A' + B' (c) the contrapositive of P, B' + A' 2. Use propositional logic to prove the validity of the following arguments. (a) (P+Q) + (Q + P') (b) [(PAQ) + R] [P+ (Q + R)]