2. [4 points]

and r,

(a) Provide a truth table which verifies that for logical propositions p, q

(p^q) Vr = (p Vr) ^ (qVr)

(b) Use your answer to part (a) to show that if A, B and Care subsets of a

universal set u, then

AU (BNC) = (AUB) n(AUC)