Sets Part1

From StpmWiki

Jump to: navigation, search

Contents

Notes

  • This part is going to focus solely on Set Algebra (specifically the laws of the algebra of sets). Other parts might be better covered in more appropriate sections (probability, number intervals, etc. or perhaps an introductory section to sets).
  • I teach Set Algebra as the very first topic to my lower 6 students, the main reason being that it requires almost zero prior knowledge. It also has relatively few things to concentrate on and only one type of question (of proving). These factors make it the ideal gauge to the students ability to learn maths. In my opinion, any student who find this part difficult to deal with (even after trying out all the material here) should reconsider his options in taking STPM maths. Because it shows the inability to deal with laws and learning how to use them, and without that ability, there is really nothing left that can be done in paper 1.

Learning Objectives (Syllabus)

  • understand the concept of set and set notation (not covered here)
  • carry out operations on sets (not covered here)
  • use the law of the algebra of sets

Prior Knowledge

  • Almost none, except knowledge of Venn diagrams that helps in remembering the identity & inverse laws


Symbols and notations

\subset: Subset of Used for sets, ex : A \subset B

\in: Element of Used for elements, ex : x \in A

\phi \,: Null Set/ Empty Set for our purpose here (but not the right definition at all), it might help to remember this as NOTHING

\xi \,: Universal Set EVERYTHING

\cup: Union OR - in the context of Venn diagram, A\cup B means we take ALL areas that are in A\, OR in B\, (or both)

\cap: Intersect AND - in the context of Venn diagram, A\cap B means we take ONLY areas that are in A\, AND ALSO IN B\,

A'\,: Complement of A\, OUTSIDE - in the context of Venn diagram, A'\, means we take areas OUTSIDE of A\,

Identity & Inverse Laws

a) A\cup A= A \,

b) A\cap A= A\,    any set union(OR) or intersect(AND) with itself will give back itself

c) A\cup \phi= A\,    union(OR) with NOTHING set gives us back that set

d) A\cap \phi= \phi\,    intersect(AND) with NOTHING gives us NOTHING

e) A\cup \xi= \xi \,    union(OR) with EVERYTHING gives us EVERYTHING

f) A\cap \xi= A \,    intersect(AND) with EVERYTHING set gives us back that set

g) A\cup A'= \xi \,    INSIDE union(OR) with OUTSIDE gives us EVERYTHING

h) A\cap A'= \phi \,    INSIDE intersect(AND) with OUTSIDE gives us NOTHING

i) (A')'\,= A\,    OUTSIDE of OUTSIDE is INSIDE

j) \phi'\,= \xi\,    Complement of EVERYTHING is NOTHING

k) \xi'\,= \phi\,    Complement of NOTHING is EVERYTHING

  • The extra explanation I give might or might not help understand them, so just ignore them if you already understand why each law are as such. You do have to find a way to make yourself understand why though, blindly memorizing them will bring you nowhere in the long run.
  • The set A\, can be substituted with any other set or any combination of set

Of Apples and Oranges

In any formula, it is of utmost importance to identify the variable in it. For example, in the law A\cup \phi=A, the part "\cup \phi" is fixed whereas A\, can be replaced, which means A\, is the (only) variable in this formula.

You can use "apple" or "orange" to represent those variables.

On the web, I will use {\color{Red}\heartsuit} to represent "apple" and {\color{Blue}\bigcirc} to represent "orange".

Since this formula has only one variable, the formula becomes {\color{Red}\heartsuit} \cup \phi={\color{Red}\heartsuit}.

Now, on your paper, draw the "apple" large enough for you to write inside it. Now, if we write B \, inside the first "apple", means we must also write B \, inside the second apple. Thus, we can conclude it is not just {\color{Red}A}\cup \phi={\color{Red}A}, but {\color{Red}B}\cup \phi={\color{Red}B}, {\color{Red}C}\cup \phi={\color{Red}C}, and so on. So it really is ANY set union with null set gives us back THAT SAME set. So you really should remember it as "a set"\cup"Null set"="That same set".

The real value of using "apple" or "orange" is that you can draw them as big as you like, and you can write whatever inside it. So you might get stumped with (A\cup B) \cup \phi at first. But just draw an "apple" around the (A\cup B), and what do you get? {\color{Red}\heartsuit} \cup \phi which will be equals to {\color{Red}\heartsuit}. Which just means {\color{Red}(A\cup B)} \cup \phi = {\color{Red}(A\cup B)}.

Try these examples :

B\cup \phi= B\,

(B\cup C) \cup \phi= (B\cup C)

[(A\cap B')\cap C]\cup \phi= [(A\cap B')\cap C]

\xi \cup \phi= \xi\,

Now lets look at A\cup A'= \xi. There is still only ONE variable. {\color{Red}\heartsuit} \cup {\color{Red}\heartsuit}'= \xi

Now try :

B\cup B'= \xi \,

(A\cap B)\cup(A\cap B)'= \xi \, Hint : Draw apple around(A\cap B) if cannot see. {\color{Red}(A\cap B)}\cup{\color{Red}(A\cap B)}'

Exercise 1

Simplify the following

Note : You MUST NOT refer back to the laws when doing this part. You HAVE TO train yourself. Give yourself sometime to look through the formulas first, then only start doing from beginning till end, and finally only check your answer.

1) (B \cup C) \cap \phi =\phi \,

2) \phi \cap \xi =\phi \,

3) (A \cap B) \cup (A \cap B)' =\xi \,

4) (A \cup B) \cap (A \cup B) =A \cup B

5) (A \cap B') \cup \xi =\xi \,

6) (A \cap B) \cup (A \cap B) =A \cap B

7) B' \cup \phi =B' \,

8) (A \cup B) \cap (A \cup B)' =\phi \,

9) (B')' \, =B \,

Commutative Laws

a)A\cup B = B\cup A

b)A\cap B = B\cap A CAN change position between two sets

Associative Laws

a)\left( A\cup B \right)\cup C = A\cup \left( B \cup C \right)

b)\left( A\cap B \right)\cap C = A\cap \left( B \cap C \right) CAN change order IF same operation

Note: a) Can also be written as  A\cup B \cup C and b) as  A\cap B \cap C but DONT do this in working (only do it if the final answer given in that form)

Bracket Matters

  • Order of brackets - \left \{ \left[  \left( \dots \right)  \right] \right \}
  • Only 2 sets in a bracket, every pair of sets MUST have bracket

Example :

  • \left( A \cup B \right) \cap \left( A \cup B \right) CORRECT
  • \left[ \left( A \cup B' \right) \cap C \right] \cup \left[ A \cap \left( B \cup C \right)' \right] CORRECT. All the brackets shown here ARE necessary and cannot be omitted.\left( A \cup B' \right) and C \, are considered a pair, which is why it must be surrounded by another bracket before operation with any other set(s). Same thing applies for A \, and \left( B \cup C \right)'
  • A \cup B \cap C WRONG! Never ever have 3 sets with different operations without a bracket It should be written as either \left( A \cup B \right) \cap C or A \cup \left( B \cap C \right) (which are different)
  • A \cap B \cap B' NOT encouraged in working
  • \left( A \cap B \right) \cup \left( B \cap C \right) \cap \left( C \cap D \right) Correct or Wrong? Look carefully... It's WRONG. Look carefully and you'll see \triangle \cup \bigcirc \cap \Diamond, 3 sets with different operation

Combining Commutative and Associative

  • Combining both, thus we CAN change position AND order ( meaning, we can rearrange the sets as we like, and put the brackets as we like), but ONLY IF SAME operation
  • NEVER do that when different operation or when have complement outside the bracket

Example

  • A \cup \left( A' \cup B \right) CAN. Same operation.
  • \left( A \cap B' \right) \cap \left( B \cap A' \right) CAN. Same operation.
  • A \cap \left( B \cup C \right) CANNOT. Different operation
  • A \cap \left( B \cap C \right)' CANNOT. Even if it seems to be same operation, complement outside the bracket will change the operation

Example 1:

  • A \cap \left( B \cap A' \right) Lets analyze it first. What do you see? 3 different sets with same operation. Furthermore, we see A \, and A' \,
    • So we can forget about the brackets first, and we rearrange them. But why would we even want to do that? Because we know A \, and A' \, can be simplified, thus we bring it together.
    • So without that bracket, it would look like A \cap B \cap A' and we rearrange it to A \cap A' \cap B, lastly we put the brackets surrounding the A \, and A' \,, since that is what we will simplify first.
  • Thus, the working will look like this
  • A \cap \left( B \cap A' \right) = \left( A \cap A'\right) \cap B
  • =\phi \cap B
  • =\phi \,

Example 2:

  • \left( A \cup B' \right) \cup \left( B \cup A \right)

Try it on your own first! Answer is \xi \,

Working

  • \left( A \cup B' \right) \cup \left( B \cup A \right) ... always start with the question
    • =\left( A \cup A \right) \cup \left( B \cup B' \right) ... here we rearrange and "re-bracket" the sets. Remember we do this only because ALL operations are the SAME here.
    • =A \cup \xi
    • =\xi \,

Exercise 2

Simplify the following using set algebra

Note : Again you MUST NOT refer back to the laws or notes when doing this part. Train yourself. Give yourself sometime to look through the formulas first, then only start doing from beginning till end, and finally only check your answer (and also working if needed)

1)A \cap \left( B' \cap A' \right) =\phi \,

    • \begin{align}
A \cap \left( B' \cap A' \right)  
& = \left( A \cap A' \right) \cap B' \\
& = \phi \cap B' \\
& = \phi
\end{align}

2)\left( A \cup B \right) \cup B' =\xi \,

    • \begin{align}
\left( A \cup B \right) \cup B' 
& = A \cup \left( B \cup B' \right) \\
& = A \cup \xi \\
& = \xi
\end{align}

3)\left( A \cup B' \right) \cup \left( A \cup B \right) =\xi \,

    • \begin{align}
\left( A \cup B' \right) \cup \left( A \cup B \right)
& = \left( A \cup A \right) \cup \left( B \cup B' \right) \\
& = A \cup \xi  \\
& = \xi
\end{align}

4)\left( A \cap B \right) \cap \left( B \cap C \right) \cap \left( C \cap A \right) =A \cap B \cap C

    • \begin{align}
\left( A \cap B \right) \cap \left( B \cap C \right) \cap \left( C \cap A \right) 
& = \left( A \cap A \right) \cap \left( B \cap B \right) \cap \left( C \cap C \right)  \\
& = A \cap B \cap C
\end{align}

Distributive Laws

a)A \cup \left( B \cap C \right)= \left( A \cup B \right) \cap \left( A \cup C \right)

b)A \cap \left( B \cup C \right)= \left( A \cap B \right) \cup \left( A \cap C \right) "Expand" (not the correct term, but easier to imagine) if different operations

How to expand

Be VERY careful of the operations

  • A \cup \left( B \cap C \right)=\left( A \cup B \right) \cap \left( A \cup C \right) and NOT \left( A \cap B \right) \cup \left( A \cap C \right)
  • Compare with a \times (b+c)=a \times b+a \times c to easily remember it. You can even draw arrows (from A \, to B \, and from A \, to C \,) as guide.

If needed, rearrange using commutative law BEFORE expanding

  • \left( B \cap C \right) \cup A = \left( B \cap A \right) \cup \left( C \cap A \right) Correct? WRONG. It's easy to spot the mistake now, but this mistake is quite a common careless mistake, especially when doing things too quickly. Thus, spend sometime to rearrange it.
  • \left( B \cap C \right) \cup A = A \cup \left( B \cap C \right) =\left( A \cup B \right) \cap \left( A \cup C \right)

How to factor

It's considerably harder to use the law from right to left, and we must firstly identify the forms which can be "factored" (not the correct term, but easier to imagine).

Lets first rewrite the laws:

a)\left( A \cup B \right) \cap \left( A \cup C \right)=A \cup \left( B \cap C \right)

b)\left( A \cap B \right) \cup \left( A \cap C \right)=A \cap \left( B \cup C \right)

Now, what do we see on the left hand side?

  • First, there must be a set which is present in BOTH of the brackets ( in this case it is A \,).
  • Secondly, the operations MUST be arranged in either (... \cup ...) \cap (... \cup ...) or (... \cap ...) \cup (... \cap ...). Others DO NOT work.
    • (... \cup ...) \cup (... \cap ...) or (... \cup ...) \cap (... \cap ...) or (... \cap ...) \cap (... \cup ...) etc. DO NOT work.
    • (... \cup ...) \cup (... \cup ...) or (... \cap ...) \cap (... \cap ...) ? Can be done using commutative and associative laws.

Example

  • \left(A \cup B \right) \cap \left( A \cup C \right) CAN. A \, is in both brackets and the operations are (... \cup ...) \cap (... \cup ...)
  • \left(A \cup B \right) \cap \left( B' \cup A' \right) CANNOT. There isn't any same set on both brackets.
  • \left(A \cup B \right) \cap \left( A' \cap B \right) CANNOT. The operations are not in the right order.

Example : Simplify the following

  • \left(B \cup A' \right) \cap \left( C \cup A' \right) Can this be "factored"? Yes. The operations are in the right order and the set A' \, is in both brackets
    • First, lets rearrange it so that the same set is in front of both brackets.
      • =\left(A' \cup B \right) \cap \left( A' \cup C \right)
    • The next step can be tricky, in regards to the operation. We know it would look like
      • =A'... \left( B ... C \right)
    • but it's easy to make a mistake with the operation. Making the mistake won't be a problem though if we know an error-proof way to check. In this case, we simply in our mind "expand" back whatever we write and check whether it is correct. We do this because it is alwasy easier to expand rather than factor.
      • Thus, if we carelessly write =A'\cap \left( B \cup C \right), we know it is wrong, cause it will give us \left(A' \cap B \right) \cup \left( A' \cap C \right)
      • =A'\cup \left( B \cap C \right)

Now try \left(A \cup B \right) \cap \left( B \cup C \right) Ans: =B \cap \left( A \cup C \right)

Using Distributive laws

Now let's put this new laws to use:

Example 1: A \cup \left( B \cap A' \right)

  • Analyze Different operations. We see A \, and A' \,. Thus, we expand.
    • A \cup \left( B \cap A' \right)
    • =\left( A \cup B \right) \cap \left( A \cup A' \right)
    • =\left( A \cup B \right) \cap \xi ...don't forget the earlier laws!
    • =A \cup B

Example 2: \left( A \cup B \right) \cap \left( B' \cup A \right)

  • Analyze (... \cup ...) \cap (... \cup ...) Same set A \, Thus, we factor.
    • \left( A \cup B \right) \cap \left( B' \cup A \right)
    • =\left( A \cup B \right) \cap \left( A \cup B' \right) ...careful the next step!
    • =A \cup \left( B \cap B' \right)
    • =A \cup \phi
    • =A \,

Exercise 3

Simplify the following using set algebra

Note : Learn to analyze the question and see why they can/need to be expanded/factored

1)A \cap \left(A' \cup B \right) =A \cap B

    • \begin{align}
A \cap \left(A' \cup B \right)
& =\left(A \cap A' \right) \cup \left(A \cap B \right)  \\
& =\phi \cup \left(A \cap B \right) \\
& =A \cap B
\end{align}

2)\left(A \cap B' \right) \cup B =A \cup B

    • \begin{align}
\left(A \cap B' \right) \cup B
& = B \cup \left(A \cap B' \right)  \\
& = \left(B \cup A \right) \cap \left(B \cup B' \right) \\
& = \left(B \cup A \right) \cap \xi \\
& = A \cup B
\end{align}

3)B' \cap \left(A \cup B \right) =B' \cap A

    • \begin{align}
B' \cap \left(A \cup B \right)
& = \left(B' \cap A \right) \cup \left(B' \cap B \right) \\
& = \left(B' \cap A \right) \cup \phi \\
& = B' \cap A
\end{align}

4)\left(A \cap B' \right) \cup A' =A' \cup B'

    • \begin{align}
\left(A \cap B' \right) \cup A'
& = A' \cup \left(A \cap B' \right)  \\
& = \left(A' \cup A \right) \cap \left(A' \cup B' \right) \\
& = \xi \cap \left(A' \cup B' \right) \\
& =  A' \cup B' 
\end{align}

5)\left(A \cap B \right) \cup \left(A \cap B' \right) =A \,

    • \begin{align}
\left(A \cap B \right) \cup \left(A \cap B' \right)
& = A \cap \left(B \cup B' \right) \\
& = A \cap \xi \\
& = A
\end{align}

6)\left(A \cup B \right) \cap \left(A' \cup B \right) =B \,

    • \begin{align}
\left(A \cup B \right) \cap \left(A' \cup B \right)
& = \left(B \cup A \right) \cap \left(B \cup A' \right)  \\
& = B \cup \left(A \cap A' \right) \\
& = B \cup \phi \\
& = B
\end{align}

7)\left(C' \cap B \right) \cup \left(B \cap C \right) =B \,

    • \begin{align}
\left(C' \cap B \right) \cup \left(B \cap C \right)
& = \left(B \cap C' \right) \cup \left(B \cap C \right) \\
& = B \cap \left(C' \cup C \right) \\
& = B \cap \xi \\
& = B
\end{align}

8)\left(C \cup A \right) \cap \left(A' \cup C \right) =C \,

    • \begin{align}
\left(C \cup A \right) \cap \left(A' \cup C \right)
& = \left(C \cup A \right) \cap \left(C \cup A' \right)  \\
& = C \cup \left(A \cap A' \right) \\
& = C \cup \phi \\
& = C 
\end{align}

Associative vs Distributive vs Identity

Let's take a breather from learning new things and spend some time differentiating the things we have learnt.

First, lets look at the fundamental differences between the associative(combined with commutative) and distributive laws.

We use associative

  • when the operations are the same
  • by rearranging and re-bracketing the terms

We use distributive

  • when the operations are the different
  • by "expanding"

Thus A \cap \left( B \cap C \right) is done through associative

while A \cap \left( B \cup C \right) is done through distributive

Identifying what laws the situation allow us to use will of course then determine what we do next.

So, for example, when we see A \cap \left( A' \cup B \right), we see different operations, thus we MUST use distributive law, and it becomes \left( A \cap A' \right) \cup \left( A \cap B \right).

It is surely WRONG to write \left( A \cap A' \right) \cup B.

And if we see A \cap \left( A' \cap B \right), we see same operations, thus we simply rearrange and re bracket it to \left( A \cap A' \right) \cap B.

It is fundamentally WRONG to make it \left( A \cap A' \right) \cap \left( A \cap B \right) (as if expanding), even if it leads to the same answer.

If you have trouble (either understanding or agreeing) with the few above lines, don't be too hard on yourself, take a breather, and look at the lessons again with a fresh mind. You are simply missing the whole point of it. It could be because you concentrate too much on the steps, too much of trying to memorize things, and care too much about finding the answer. That shows you have a fundamentally wrong method of learning maths. Trust me when I say that these method, even if it could help some students to score A1 in add maths, have zero value in STPM Maths. It could also be because you consciously/unconsciously "create" your own laws that seem logical and use them instead of the stated laws.

Comparison

A \cap \left( B \cap C \right) 3 sets, SAME operation DO NOT expand! We rearrange.

A \cap \left( B \cup C \right) 3 sets, DIFFERENT operation DO NOT rearrange! We "expand".


\left( A \cup B \right) \cup \left( A \cup B' \right) \left( A {\color{Blue}\cup} B \right) {\color{Blue}\cup} \left( A {\color{Blue}\cup} B' \right) We rearrange.

\left( A \cup B \right) \cap \left( A \cup B' \right) \left( {\color{Red}A} {\color{Blue}\cup} B \right) {\color{Blue}\cap} \left( {\color{Red}A} {\color{Blue}\cup} B' \right) We factor.

\left( A \cap B \right) \cup \left( A \cap B \right)  ?? Look carefully... It's an identity.

\left( A \cap B \right) \cap \left( A \cup B' \right) ?? There is no law that have the form (... \cap ...) \cap (... \cup ...), thus we have to look at it a different way.

Combining (associative + commutative) with distributive

Of Apples and Oranges (Part 2)

When we have a situation that don't suit the formula, we have two choices

  • A) Derive a new formula
  • B) Simplify the situation so that it fits the formula

Answer: MOST of the time, B) is a much wiser choice. In other words, simplify the complicated, DON'T complicate the simple. Good advice even for life in general. ;-)


So let's look at the above problem.

\left( A \cap B \right) \cap \left( A \cup B' \right)

There are 4 sets, but the order of operation does not allow us to simplify by "factoring" (distributive). Thus, we have to simplify it by looking at it as 3 sets, rather than 4.

We do this by grouping certain sets and assume it to be a single set for further manipulation. We can again use the apple "{\color{Red}\heartsuit}" to help us imagine. Thus, the question becomes

\left( A \cap B \right) \cap {\color{Red}\heartsuit} OR {\color{Red}\heartsuit} \cap \left( A \cup B' \right) which we can manipulate using associative and distributive laws respectively.

Before continuing, take note that at this stage, we HAVE NOT used any laws, we are just putting the symbol around the bracket which is already there. We CANNOT put the apple in the middle to get A \cap {\color{Red}\left( B \cap A \right)} \cup B', for example.

So now lets compare \left( A \cap B \right) \cap {\color{Red}\heartsuit} with {\color{Red}\heartsuit} \cap \left( A \cup B' \right) . The first only allow us to rearrange and re bracket, whereas the second needs us to expand. Of course, we will choose the first.


Let's see how we are going to simply

\left( A \cap B \right) \cap \left( A \cup B' \right)

We see the two \cap's

\left( A {\color{Blue}\cap} B \right) {\color{Blue}\cap} \left( A \cup B' \right)

Thus we know we can try the rearranging and rebracket method, but first, we must assume the last two sets as a single one

\left( A {\color{Blue}\cap} B \right) {\color{Blue}\cap} {\color{Red}\left( A \cup B' \right)}

So in effect, what we have now is 3 different sets with the same operation

\Diamond \cap \Box \cap \heartsuit

{\color{Red}A} \cap {\color{Red}B} \cap {\color{Red}\left( A \cup B' \right)}

Where we have removed the front bracket (but remember the bracket inside the "apple" CANNOT be removed)


So now, what do we do? Consider the simpler case of A \cap B \cap A' = \left( A \cap A' \right) \cap B = \phi \cap B = \phi,

We have paired A \, with A' \, since we know it will simplify.


So for {\color{Red}A} \cap {\color{Red}B} \cap {\color{Red}\left( A \cup B' \right)}, which two sets do we pair to rebracket?

Since there is a B' \, inside the "apple" , thus we pair B \, with \left( A \cup B' \right)

{\color{Red}A} \cap \left[ {\color{Red}B} \cap {\color{Red}\left( A \cup B' \right)}\right]

and we continue with distributive and simplify.

Thus, the full working will be

\left( A \cap B \right) \cap \left( A \cup B' \right)

  • =A \cap \left[ B \cap \left( A \cup B' \right) \right]
  • =A \cap \left[ \left( B \cap A \right) \cup \left( B \cap B' \right)\right]
  • =A \cap \left[ \left( B \cap A \right) \cup \phi \right]
  • =A \cap \left( B \cap A \right)
  • =\left(A \cap A \right) \cap B
  • =A \cap B


Now, try simplifying

\left( A \cap B \right) \cup \left( B \cup A' \right) =B \cup A' Did you get it? If not, try again on your own first!

Working

  • \left( A \cap B \right) \cup \left( B \cup A' \right)
    • =B \cup \left[A' \cup \left( A \cap B \right) \right] ... this would be the most important step. Make sure you understand the reason we do it
    • =B \cup \left[ \left( A' \cup  A\right) \cap \left( A' \cup B\right) \right]
    • =B \cup \left[ \xi \cap \left( A' \cup B\right) \right]
    • =B \cup \left( A' \cup B\right)
    • =\left( B \cup B\right) \cup A'
    • =B \cup A'

Exercise 4

Simplify the following using set algebra

Note : Make sure you understand fully the above two examples before attempting this.

1)\left( A \cap B \right) \cap \left( A \cup B' \right) =A \cap B

    • \begin{align}
\left( A \cap B \right) \cap \left( A \cup B' \right)
& = A \cap \left[ B \cap \left( A \cup B' \right) \right] \\
& = A \cap \left[ \left( B \cap A \right) \cup \left( B \cap B' \right)\right] \\
& = A \cap \left[ \left( B \cap A \right) \cup \phi \right] \\
& = A \cap \left( B \cap A \right) \\
& = \left(A \cap A \right) \cap B \\
\end{align}

2)\left( A \cup B \right) \cup \left( A \cap B' \right) =A \cup B

    • \begin{align}
\left( A \cup B \right) \cup \left( A \cap B' \right)
& = A \cup \left[ B \cup \left( A \cap B' \right) \right] \\
& = A \cup \left[ \left( B \cup A \right) \cap \left( B \cup B' \right)\right] \\
& = A \cup \left[ \left( B \cup A \right) \cup \xi \right] \\
& =A \cup \left( B \cup A \right) \\
& = \left(A \cup A \right) \cup B \\
& = A \cup B \\
\end{align}

3)\left( A' \cap B \right) \cup \left( A \cup B \right) =B \cup A

    • \begin{align}
\left( A' \cap B \right) \cup \left( A \cup B \right) 
& = B \cup \left[ A \cup \left( A' \cap B \right) \right] \\
& = B \cup \left[ \left( A \cup A' \right) \cap \left( A \cup B \right)\right] \\
& = B \cup \left[ \xi \cap \left( A \cup B \right) \right] \\
& = B \cup \left( A \cup B \right) \\
& = \left(B \cup B \right) \cup A \\
& = B \cup A
\end{align}

4)\left( B \cup C \right) \cup \left( B' \cap A \right) =A \cup B \cup C

    • \begin{align}
\left( B \cup C \right) \cup \left( B' \cap A \right)
& = C \cup \left[ B \cup \left( B' \cap A \right)\right]  \\
& = C \cup \left[ \left( B \cup B' \right) \cap \left( B \cup A \right) \right]  \\
& = C \cup \left[ \xi \cap \left( B \cup A \right) \right] \\
& = C \cup \left( B \cup A \right) \\
& = A \cup B \cup C
\end{align}

5)\left( C \cup B \right) \cap \left( B' \cap A \right) =A \cap B' \cap C

    • \begin{align}
\left( C \cup B \right) \cap \left( B' \cap A \right)
& = A \cap \left[ B' \cap \left( C \cup B \right)\right]  \\
& = A \cap \left[ \left( B' \cap C \right) \cup \left( B' \cap B \right) \right]  \\
& = A \cap \left[ \left( B' \cap C \right) \cup \phi \right] \\
& = A \cap \left( B' \cap C \right) \\
& = A \cap B' \cap C
\end{align}

6)\left( A \cup C \right) \cap \left( A' \cap B \right) =A' \cap B \cap C

    • \begin{align}
\left( A \cup C \right) \cap \left( A' \cap B \right)
& = B \cap \left[ A' \cap \left( A \cup C \right)\right]  \\
& = B \cap \left[ \left( A' \cap A \right) \cup \left( A' \cap C \right) \right]  \\
& = B \cap \left[ \phi \cup \left( A' \cap C \right) \right] \\
& = B \cap \left( A' \cap C \right) \\
& = A' \cap B \cap C
\end{align}

Exercise 5

IMPORTANT NOTE

This is a revision exercise, and EVERY question here is just a REPEAT from the earlier exercise, however, they are jumbled up. As such, this is a practice of analyzing questions and choosing what method to use. It is VERY important that you try to do this exercise WITHOUT referring to any notes/ previous exercise. Doing so defeats the very purpose of this exercise. Instead, take some good time to look through ALL material before this, and then try these questions from beginning till the end, and see whether you can get all of them. Take note also that it is not only the answer you need to check, your working must be correct also. If you make a lot of mistake, its best to review the material again BEFORE continuing to part 2.

Simplify the following using set algebra

1)\left( A \cup B \right) \cup \left( A \cap B' \right) =A \cup B

2)(A \cap B) \cup (A \cap B)' =\xi \,

3)\left(C \cup A \right) \cap \left(A' \cup C \right) =C \,

4)(A \cup B) \cap (A \cup B)' =\phi \,

5)A \cap \left( B' \cap A' \right) =\phi \,

6)A \cap \left(A' \cup B \right) =A \cap B

7)\left( A \cap B \right) \cap \left( A \cup B' \right) =A \cap B

8) (A \cap B) \cup (A \cap B) =A \cap B

9)\left( A \cup B \right) \cup B' =\xi \,

10)\left(A \cup B \right) \cap \left(A' \cup B \right) =B \,

11) (B \cup C) \cap \phi =\phi \,

12)\left( B \cup C \right) \cup \left( B' \cap A \right) =A \cup B \cup C

13)\left(A \cap B \right) \cup \left(A \cap B' \right) =A \,

14)\left(A \cap B' \right) \cup B =A \cup B

15)\left( A \cup B' \right) \cup \left( A \cup B \right) =\xi \,

16)\left( C \cup B \right) \cap \left( B' \cap A \right) =A \cap B' \cap C

17)\left(A \cap B' \right) \cup A' =A' \cup B'

18)\left( A \cup C \right) \cap \left( A' \cap B \right) =A' \cap B \cap C