Week 07: Revision 02

Itahari International College

Module Code MA4001: Logic and problem solving
Week 07: Revision 02

1. Let A= {1,2,3,4,5} and B = {0,3,6}.Find

a. A∪B c. A−B
b. A∩B d. B−A

2. Determine using the truth table whether the connective conditional (→) is associative
or not.

3. Write an SOP expression for this truth table, and simplify this expression using
Boolean algebra, and draw a simplified gate circuit based on this new (reduced)
Boolean expression.

A B C X

0 0 0 1

0 0 1 0

0 1 0 1

0 1 1 0

1 0 0 0

1 0 1 1

1 1 0 1

1 1 1 0

4. Test whether the following statement is a logical consequence or not.

If I am not in Mood, then I am not happy; if I am happy, then I am singing; I am
into singing; therefore, I am not in Mood.
 Week 07: Revision 02

5. Determine the validity of the following argument:

p→ ¬q,¬p→ qⱵ¬p→ r

6. A survey asked buyers whether colour, size, or brand influenced their choice of cell
phone. The results are below. Using Venn diagrams,find how many people were
influenced by the brand?

5 only said colour 8 only said size

16 only said brand 20 said only colour and size
42 said only colour and brand 53 said only size and brand
102 said all three 20 said none of these

7. Let U = {0,1,2,3,4,5,6,7,8,9,10} and A = {0,1,2,3,5,8}; B={0,2,4,6}; C = {1,3,5,7} are

the subsets of U.
Find:
a) (A’ ⋃ C) ⋂ B f) Find the set D so that Sets
b) (A⋂B)’ {B,C & D } forms a partition
c) (A ⋂ C) ⋃ B on U.
d) How many subsets do set g) Find the set E so that sets
A have? {A, & E} forms partition on
e) List out the element of the U
power set of B.

End of Tutorial