Question :1

Given the following universal set U and its two

subsets A and B

U={1,2,3,4,5,6,7,8,9,10,11,12,13,14,15}
A={1,2,5,7,8,9,11,12,14,15}
B={2,3,5,9,10,11,13}
C={1,4,5,7,9,13,15}

Prove that AU(BՈC) = (AUB) Ո (AUC)

Taking L.H.S.
AU(BՈC)

BՈC = {2,3,5,9,10,11,13} Ո {1,4,5,7,9,13,15}

= { 5,9,13}

AU(BՈC) = {1,2,5,7,8,9,11,12,14,15} U {5,9,13}

= {1,2,5,7,8,9,11,12,13,14,15}
TAKING R.H.S
(AUB) Ո (AUC)

AUB { 1,2,5,7,8,9,11,12,14,15} U { 2,3,5,9,10,11,13}

NOW AUC
AUC {1,2,5,7,8,9,11,12,14,15} U { 1,4,5,7,9,13,15}
{1,2,4,5,7,8,9,11,12,13,14,15}
NOW (AUB) Ո (AUC)
{1,2,3,5,7,8,9,10,11,12,13,14,15}Ո{1,2,4,5,7,8,9,11,12,13,
14,15}
{1,2,5,7,8,9,11,12,13,14,15}
QUESTION NO:2
Trace the circuit from left to right . write down the output
P=(~X^~Y^Z)ͨ˅(~X^Y^Z)˅(~y^Z)

QUESTION .3

Prove the distributivity of intersection over union

AՈ(BUC) = (AՈB) U (AՈC)

Taking L.H.S

Let x be an arbitrary

X € AՈ(BUC)

From the statement X € A AND X € (BUC)

Simplifying : X € A AND X € B OR X € C

X € A AND X € B = X € (AՈB) OR X € A AND X € C =X € (AՈC)

Can be written as X € (AՈB) Ս (AՈC)

HENCE AՈ(BUC)=(AՈB)U(AՈC)

CONVERSELY

Taking R.H.S (AՈB)U(AՈC)

Let x be an arbitrary element x€ (AՈB) U (AՈC)

Simplifying x € (AՈB) OR x € (AՈC)

(x€ A AND X€B) OR (X€A AND X€C)

AS A belongs to x In both cases taking it common

(x€ A) AND (x€ B) OR (x€ C)

Simplyfing (x€ A) Ո ((x€ B ) U (X€ C))

X€ A Ո (BUC)
HENCE PROVED AՈ (BUC) = (AՈB) U ( AՈC)

QUESTION : 4

Show by venn diagram if A ⊆B A Ո C = { } And B And C are

overlapping

(i) AU(BՈC)

A is subset of B

AU(BՈC)
 IF A AND B are overlapping , B AND C are
overlapping but A AND C are different
(ii) (AՈB) U (AՈC)
the venn diagram

(AՈB) U (AՈC)

(iii). AU(BՈC)

Question: 5
Trace the circuit from left to right.write down the
output

The final output will be (x^~y)˅(~x^z)

Question : 6
Simplify the following expression by using set
identities
(A-(A-B)) Ո (B-(AՈB))

According to set identity rules (-) can be converted

into intersection by applying complement( ͨ) to the B
Term

(AՈ (AՈ B ) ͨ) Ո (BՈ (AՈ B) )ͨ

(AՈ (A ͨ U B )ͨ ) Ո (BՈ (A U
ͨ B ͨ))
(AՈA ͨ) U (AՈ B )ͨ Ո (BՈA )ͨ U (BՈB ͨ)
{ } U (AՈB ͨ) Ո (BՈA ͨ) U { }

Because (AՈA =ͨ { } ) AND (BՈB ͨ={ } )

(AՈB ͨ) U (BՈA ͨ)