Can someone explain with answers ? Than you

1. Give a proof that pAq q Ap in two column format using the following inference rules: (a) To prove AB: Prove A B Prove B A. (b) To prove A B ^ C: Prove A B Prove A C. (c) To prove A B C: Prove A C. (d) To prove A B C: Prove B C (e) To prove A A: Succeed (this is an axiom): there is nothing more to do to prove A A. 2. Give a proof that for all sets A, B, C, (A U B) n C = (A n C) U (B n C) in two column format using inference rules given in the chapter on proofs. Note that set operations can be replaced by their definitions