2
$\begingroup$

Prove that:

$(A^{c}\cap B^{c} \cap C) \cup (B \cap C) \cup (A \cap C) = C$

(cmp = complement)

Now, one way to solve this is to take a small universe $U$, say $U$ = {a, b, c, d, e, f, g}, draw the Venn diagram, figure out the union-ed parts of the equation and prove it.

How can we do this purely algebraically? using the laws of sets like the idempotent law, duality, domination, absorption etc?

  • 1
    "The members of C are in A, in B or in neither of these."2011-07-03

1 Answers 1

4

The algebraic way to solve this is to remember that union and intersection are distributive over one another, therefore:

\begin{align} & (A^c\cap B^c\cap C) \cup (B\cap C) \cup (A\cap C) &=&(\text{un-distribute } \cap C) \\ & \Big( (A^c\cap B^c) \cup B \cup A\Big)\cap C &=&(\text{distribute }\cup B) \\ & \Big( (A\cup B)^c \cup (B\cup A)\Big)\cap C &=&(\text{de Morgan's law}) \\ & &=&C \end{align}

(As Theo suggested, using de Morgan's law shortens the proof.)

  • 0
    This is a nice way of inserting reasons in a sequence of aligned equalities.2014-04-26