Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Using set algebra how do I get from:

$[(A'\cup B) \cap (A\cup B')] \cap C$


$(A'\cap B' \cap C) \cup (A \cap B \cap C)$

share|cite|improve this question
By $A'$ do you mean the complement of $A$? It is usually denoted as $A^c$. – Asaf Karagila Oct 23 '11 at 9:49
I'm thinking that my book left out a set of parenthesis... – Robert S. Barnes Oct 23 '11 at 9:52
I know. The book I'm learning from (Israeli OpenU) denotes complement using A'. It's an old book I guess. – Robert S. Barnes Oct 23 '11 at 9:54
I added in what seem to be the missing parens... – Robert S. Barnes Oct 23 '11 at 9:58
Intersection is associative, so actually the added parenthesis are of no consequence. – Asaf Karagila Oct 23 '11 at 10:05
up vote 1 down vote accepted

You apply the distributive law twice:

$\begin{align} (A'\cup B) \cap (A\cup B') \cap C &=((A'\cap A) \cup (A' \cap B') \cup (B\cap A)\cup(B\cap B') )\cap C\\ &=((A' \cap B') \cup (B\cap A))\cap C\\ &=(A' \cap B'\cap C) \cup (B\cap A\cap C) \end{align} $

share|cite|improve this answer
Wow, that's quite a few steps to leave out :-) You actually left out a step also ;-) – Robert S. Barnes Oct 23 '11 at 10:11

The trick is to get from $(A'\cup B)\cap(A\cup B')$ to $(A'\cap B')\cup(A\cap B)$; once you’ve done this, the $C$ will almost take care of itself. It’s mostly just distributivity. In gruesome detail: $$\begin{align*} (A'\cup B)\cap(A\cup B') &= (A'\cap(A\cup B'))\cup (B\cap(A\cup B'))\\ &= ((A'\cap A)\cup(A'\cap B'))\cup ((B\cap A)\cup(B\cap B'))\\ &= (\varnothing \cup (A'\cap B'))\cup ((B\cap A)\cup \varnothing))\\ &= (A'\cap B')\cup(B\cap A) \end{align*}$$

Now just use commutativity of $\cap$ and take care of the $C$; you’ll use distributivity again.

share|cite|improve this answer
+1 That's the step that Phira was missing, took me a minute to figure out what he was doing... – Robert S. Barnes Oct 23 '11 at 10:30
@Robert Please don't speak of me as "he" and please don't say that I was "missing" a step. Applying the distributive law to two parentheses is not further from the axioms than your use of intersections of three sets in your problem statement. What is acceptable depends on context which you have not given. – Phira Oct 23 '11 at 10:40

I like to use '$+$' for $\cup$ and '$.$' for $\cap$

Then your expression becomes $$(a'+b).(a+b').c=(a'a+a'b'+ab+bb').c=(0+ab+a'b'+0)=(ab+a'b').c=abc+a'b'c$$

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.