Please help me and explain it step by step. Thank you so much

2- Use propositional logic to prove that the argument in valid: a. [A (BC)] A (AVD') AB (D->C) b. (A B) ^ [B (C-D)] ^ [A (B-C)] (AD) c. (Y Z) A (X'>Y) A[Y (XW)] A (Y) (YW) d. (A A B)' ^ (C' 1A)' A (CAB') A