I am trying to prove that A union (B intersection C) = (A union B) intersection (A union C). In other words, proving one of DeMorgan's Laws. I have gotten this far, and not sure if I'm right thus far:
Let x belong to A union (B intersection C). Then x is in either A or in (B intersection C)...