Teoría de conjuntos,demostración de enunciados

Si A, B y C son tres conjuntos, entonces:

A – (B ∪ C) = (A – B) ∩ (A – C)
A – (B ∩ C) = (A – B) ∪ (A – C)

Si A y B son conjuntos, entonces:

(A ∩ B) ∩ (A – B) = ∅
(A – B) ∪ (A ∩ B) ∪ Ac = U

Sean A y B dos conjuntos y B1 y B2 son subconjuntos de B. Demostrar que si B=B_1∪B_2, entonces A x B = (A x B1) ∪ (A x B2)