1. Set Algebra

Hi using set algebra I have to simplify the following:

( (A n B n C) n (A u B u C') u (A u B') )

the answer I have been given is A n (B' n C) but I get A u B'

can anybody verify and break down the steps used?

Many thanks

2. Originally Posted by barc0de
Hi using set algebra I have to simplify the following:

(A n B n C) n (A u B u C') u (A u B')

the answer I have been given is A n (B' n C) but I get A u B'

can anybody verify and break down the steps used?

Many thanks
What is B'?

3. Originally Posted by Mush
What is B'?
B' is the complement of B

4. Originally Posted by barc0de
I have to simplify the following: (A u B u C) n (A u (B n C))
Here is a start:
$\left[ {A \cup B \cup C} \right] \cap \left[ {A \cup \left( {B \cap C} \right)} \right] = A \cup \left[ {\left( {B \cup C} \right) \cap \left( {B \cap C} \right)} \right]$

5. Hello, barc0de!

Simplify: ., $(A \cup B \cup C) \cap [A \cup (B \cap C)]$

. . . $\begin{array}{cccc}\bigg[A \cup B \cup C\bigg] \cap \bigg[A \cup (B \cap C)\bigg] & &\text{Given} \\ \bigg[ A \cup B \cup C \bigg] \cap \bigg[ (A \cup B) \cap (A \cup C)\bigg] & & \text{Distributive} \\ \\[-4mm] \bigg[(A \cup B \cup C) \cap (A \cup B)\bigg] \cap \bigg[A \cup C\bigg] && \text{Associative} \\ \bigg[A \cup B\bigg] \cap \bigg[A \cup C\bigg] && \text{Subset} \\ \\[-4mm] A \cup (B \cap C) && \text{Distributive}\end{array}$

6. You need to edit the post by adding some grouping symbols.
Because $\left( {X \cap Y} \right) \cup Z \ne X \cap \left( {Y \cup Z} \right)$.

7. Your edit did nothing to clear away the confusion.

8. Originally Posted by Plato
Your edit did nothing to clear away the confusion.
Sorry I'm not sure what you mean.

I have to algebraically simplify:

(A n B n C) n (A u B u C') u (A u B')

that is all I have

9. Thanks Soroban. Could you take a look at the following please:

(A n B n C) n (A u B u C') u (A u B')

the answer I have been given is A n (B' n C) but I get A u B'

can you verify and break down the steps used

10. Which way are they grouped?
$\begin{gathered}
\left[ {\left( {A \cap B \cap C} \right) \cap \left( {A \cup B \cup C'} \right)} \right] \cup \left( {A \cup B'} \right) \hfill \\
\left( {A \cap B \cap C} \right) \cap \left[ {\left( {A \cup B \cup C'} \right) \cup \left( {A \cup B'} \right)} \right] \hfill \\
\end{gathered}
$

It makes a huge difference.

11. This may be where the problem lies in getting 2 different answers. I have typed the problem in as I have been given it. Would it be too much trouble for you to do both?? I would really appreciate it.

Many thanks

12. Originally Posted by barc0de
This may be where the problem lies in getting 2 different answers. I have typed the problem in as I have been given it. Would it be too much trouble for you to do both?? I would really appreciate it.
$\begin{gathered}
\left[ {\left( {A \cap B \cap C} \right) \cap \left( {A \cup B \cup C'} \right)} \right] \cup \left( {A \cup B'} \right) = A \cup B' \hfill \\
\left( {A \cap B \cap C} \right) \cap \left[ {\left( {A \cup B \cup C'} \right) \cup \left( {A \cup B'} \right)} \right] = \left( {A \cap B \cap C} \right) \hfill \\
\end{gathered}$

13. Could you please break down the steps used in finding the first solution?