Problem 4.3. Set Formulas and Propositional Formulas.

(a) Verify that the propositional formula (P AND )OR (P AND Q) is equivalent to P (b) Prove that A=(A _ B) U (A n B) for all sets, A, B, by showing for all elements x using the equivalence of part (a) in a chain of IFF's