Printed Page: 1 of 2 

Subject Code: KCS303

0Roll No: 0 0 0 0 0 0 0 0 0 0 0 0 0
 
B TECH
(SEM-III) THEORY EXAMINATION 2020-21
DISCRETE STRUCTURE & THEORY OF LOGIC
Time: 3 Hours Total Marks: 100
Note: 1. Attempt all Sections. If require any missing data; then choose suitably.

SECTION A

1. Attempt all questions in brief. 2 x 10 = 20

Q no. Question Marks CO
a. Check whether the function f(x) = x2 - 1 is injective or not for f : R→R. 2 CO3
b. Let R be a relation on set A with cardinality n. Write down the number of 2 CO2
reflexive and symmetric relation on set A.
c. Define group. 2 CO3
d. Define ring. 2 CO3
e. Let A = {1, 2, 3, 4, 6, 8, 9, 12, 18, 24} be ordered by the relation ‘a divides 2 CO3
b’. Find the Hasse diagram.
f. If L be a lattice, then for every a and b in L prove that a ˄ b = a if and only if 2 CO3
a ≤ b.

P
g. Write the negation of the following statement: 0Q 2 CO1
“If I wake up early in the morning, then I will be healthy.”

1
13
h. Express the following statement in symbolic form: 2 CO1
29

“All flowers are beautiful.”

2.
0E

i. Define complete and regular graph. 2 CO4

24
j. Prove that the maximum number of vertices in a binary tree of height h is 2h+1, 2 CO4
P2

5.
h ≥ 0.
_Q

.5
17
TU

SECTION B
|1
AK

2. Attempt any three of the following:

1

Q no. Question Marks CO

:4
55

a. If f : R → R, g : R → R and h : R → R defined by 10 CO3

f(x) = 3x2 +2, g(x) = 7x – 5 and h(x) = 1/x.
:
13

Compute the following composition functions

i. (fogoh)(x)
1

ii. (gog)(x)
02

iii. (goh)(x)
-2

iv. (hogof)(x)
ar

b. State and prove Lagrange theorem for group. 10 CO3

M

c. Prove that in any lattice the following distributive inequalities hold 10 CO3
9-

i. a ˄ (b ˅ c) ≥ (a ˄ b) ˅ (a ˄ c)
|1

ii. a ˅ (b ˄ c) ≤ (a ˅ b) ˄ (a ˅ c)
d. Prove the validity of the following argument 10 CO1
“If I get the job and work hard, then I will get promoted. If I get promoted,
then I will be happy. I will not be happy. Therefore, either I will not get the
job, or I will not work hard.”
e. If a connected planar graph G has n vertices, e edges and r region, then n – e 10 CO5
+ r = 2.

1 | P a g e  
 
AKTU_QP20E290QP | 19-Mar-2021 13:55:41 | 117.55.242.131
 Printed Page: 2 of 2 
Subject Code: KCS303
0Roll No: 0 0 0 0 0 0 0 0 0 0 0 0 0
 
SECTION C
3. Attempt any one part of the following:
a. Prove by mathematical induction for all positive integers that 10 CO2
3.52n+1 + 23n+1 is divisible by 17.
b. Find the numbers between the 100 to1000 that are divisible by 3 or 5 or 7. 10 CO2

4. Attempt any one part of the following:

a. A subgroup H of a group G is a normal subgroup if and only if g- 10 CO3
1
hg ϵ H for every h ϵ and g ϵ G.
b. In a group (G, *) prove that 10 CO3
i. (a-1)-1 = a
ii. (ab)-1 = b-1a-1

5. Attempt any one part of the following:

a. Simplify the Boolean function 10 CO3
F (A, B, C, D) = ∑ (0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 11)
Also draw the logic circuit of simplified F.
b.
P
Simplify the following Boolean expressions using Boolean algebra 10 CO3
0Q

1
i. xy + x΄z +yz

13
29

ii. C(B + C)(A + B + C)

2.
iii. A + B(A + B) + A(A΄ + B)
0E

24
iv. XY + (XZ)΄ + XY΄Z(XY + Z)
P2

5.
_Q

.5
6. Attempt any one part of the following:
17
TU

a. Define tautology, contradiction and contingency? Check whether (p ˅ q) ˄ ( 10 CO1

|1

~ p ˅ r) → (q ˅ r) is a tautology, contradiction or contingency.

AK

b. Translate the following statements in symbolic form 10 CO1

:4

i. The sum of two positive integers is always positive.

55

ii. Everyone is loved by someone.

:

iii. Some people are not admired by everyone.

13

iv. If a person is female and is a parent, then this person is someone’s

mother.
1
02
-2

7. Attempt any one part of the following:

ar

a. Construct the binary tree whose inorder and preorder traversal is given below. 10 CO4
M

Also, find the postorder traversal of the tree.

9-

Inorder: d, g, b, e, i, h, j, a, c, f
|1

Preorder: a, b, d, g, e, h, i, j, c, f
b. Solve the following recurrence relation 10 CO3
an – an – 1 + 20an – 2 = 0 where a0 = – 3 , a1 = – 10
 

2 | P a g e  
 
AKTU_QP20E290QP | 19-Mar-2021 13:55:41 | 117.55.242.131