TUTORIAL 2: LAW OF SET THEORY

1. Use the membership tables to determine whether A  B   A  B  B . State the  

reason(s) for your answer.

2. Use the laws of set theory to simplify the following expression. State the laws used.
A  B   A  B 
3. Complete the steps as well as give the corresponding reasons in the simplification of
the expression A'B' \ B'  A below:

A'B' \ B'  A
 A' 'B' \ B'  A.......... .......... .......... .......... ......
 A' 'B'  B' '  A.......... .......... .......... .......... ....
 A  B'  B   A.......... .......... .......... .......... .......
 A  B   B'B   A.......... .......... .......... .........
 A  B     A.......... .......... .......... .......... ........
 A  B   A.......... .......... .......... .......... .......... .......

4. Simplify the following expression by using the laws of set theory.

A  B  C'A  B  C 
5. By using the laws of set theory show that

a) A  A  B'  A  B
b) A  B'B  A'  B  A
6. Provide reasons for each step in the simplifications of the expression using laws of
set theory.

 X  Y  \  X 'Y    X  Y ' \  X 'Y 

  X  Y    X 'Y  '   X  Y '   X 'Y  '.......... .......... .....( i )
  X  Y    X ' 'Y '    X  Y '   X ' 'Y ' .......... .......... ...( ii )
  X  Y    X  Y '    X  Y '   X  Y ' .......... .......... .....( iii)
  X  Y   X   Y '    X  Y '   X  Y ' .......... .......... .....( iv )
  X  Y '    X  Y '   X  Y ' .......... .......... .......... .......... ....(v )
  X  Y '    X  Y '.......... .......... .......... .......... .......... .......... .....(vi )
 Y ' X    X  Y '.......... .......... .......... .......... .......... .......... ......(vii )
 Y ' X   X  Y '.......... .......... .......... .......... .......... .......... ......(viii )
 Y ' X .......... .......... .......... .......... .......... .......... .......... .......... ......( ix)

Firdawati Mohamed
7. Provide reasons for each step of the simplifications of given expression using the
laws of set theory.

A B  A B  
   
 A  B  A  B ..............................................................1
 A  B   A  B ..............................................................2 
 A  B  B ........................................................................3
 A  U .................................................................................4 
 A........................................................................................5

8. Prove the following using Laws of Set Theory.

 A  B  C  B   A  C   B

9. Using the laws of set theory show that  A 'B '  B  C '  B  C '.

10. Simplify the following expression using the laws of set theory. State the laws used.

B  A \ A \ B

Firdawati Mohamed