R.V.R. & J.C.

COLLEGE OF ENGINEERING, GUNTUR-522 019

DEPARTMENT OF INFORMATION TECHNOLOGY
II/IV B.Tech., (IT)

ASSIGNMENT TEST # I

2015-2016 (3RD Semester)

Time: 45 Mts.
Max. Marks: 12

1 a) Prove that
b) Use DeMorgans law to prove that the complement of

2 a) Prove that
b) Prove that

3 a) Prove that RS is transitive if R, S are transitive a, b, c

b) Prove that
4 a) Let S be a relation S={(j,k)/j/k is prime}. Prove that S is an Equivalence
relation.
b) Prove that R is transitive if and only if

5) Let R={(a,b), (a,c), (b,a)}, S={(a,c), (b,a), (c,a), (b,b)} then represent R,S in
relational matrix. Evaluate RoS, SoR, MR.MS, MS.MR and Prove that MR.MS=MRoS,
Ms.MR=MSoR
6 a) If f:AB, g:BC are one-to-one correspondence then go f: AC is bijective.
b) If f:AB and g:BC are two bijective functions the prove that
7 a) Show that (p(pq)) and pq is a tautology.
b) Show that (p(qr))(qr)(pr)r
8 a) Determine whether the following inference pattern is valid or not
(pq) r
wr
wp
rq
--------------- (wr) t

b) Determine the validity of following argument

I.
If a Joe is a mathematician, then he ambitious.
II.
If Joe is an early riser, then he does not like oatmeal.
III.
If Joe is ambitious, then he is an early riser.
IV.
Hence, if Joe is a mathematician, then he does not like oatmeal.