Jain College of Engineering, Belagavi

Department of Mathematics
Module 1: Fundamentals of Logic
Assignment – 5
Course Name: Discrete Mathematical Structures Course Code: BCS405A
Semester : IV Maximum Marks : 20
Date: 26-05-2025 Date of Submission:
Q.NO Question CO PO RBT
Let 𝑝, 𝑞 𝑎𝑛𝑑 𝑟 have the truth values 0, 0 𝑎𝑛𝑑 1 respectively. Find the truth value of L1&
1 1 1
i) (𝑝 ∧ 𝑞) → 𝑟; ii) 𝑝 → (𝑞 ∧ 𝑟); iii) 𝑝 ∧ (𝑞 → 𝑟); iv) 𝑝 → (𝑞 → (~𝑟)) L3
L1&
2 Construct truth table for i) 𝑝 ∧ (𝑝 → 𝑞) → 𝑞 ii) [(𝑝 → 𝑞) ∧ (𝑞 → 𝑟)] → (𝑝 → 𝑟) 1 1
L3
Find the possible truth values of 𝑝, 𝑞, 𝑟 if i) 𝑝 → (𝑞 ∨ r) is FALSE ii) 𝑝 ∧ (𝑞 → 𝑟) L1&
3 1 1
is TRUE. L3
If a proposition 𝑞 has the truth value 1, determine all truth value assignment for the
primitive propositions p, r and s for which the truth value of following compound L1&
4 1 1
L3
proposition is 1. [𝑞 → {(~𝑝 ∨ r) ∧∼ 𝑠}] ∧ {∼ 𝑠 → (~𝑟 ∧ 𝑞)}
Prove that the compound proposition [(𝑝 ∨ 𝑞) ∧ {(𝑝 → 𝑟) ∧ (𝑞 → 𝑟)}] → 𝑟 is L1&
5 1 1
tautology. L3
Prove that [(𝑝 ∨ 𝑞) → 𝑟] ⟺ {(𝑝 ⟶ 𝑟) ∧ (𝑞 → 𝑟)}. L1&
6 1 1
L3
Simplify using laws of logics ∼ [∼ {(𝑝 ∨ 𝑞) ∧ 𝑟} ∨ ∼ 𝑞] L1&
7 1 1
L3
Prove the following logical equivalence without using truth table
i) [(∼ 𝑝 ∨∼ 𝑞) → (𝑝 ∧ 𝑞 ∧ 𝑟)] ⟺ 𝑝 ∧ 𝑞 ii) (𝑝 → 𝑞) ∧ [∼ 𝑞 ∧
L1&
8 (𝑟 ∨∼ 𝑞)] ⟺∼ (𝑞 ∨ 𝑝) 1 1
L3
𝑝 → (𝑞 → 𝑟) ⟺ (𝑝 ∧ 𝑞) → 𝑟. iv) [∼ 𝑝 ∧ (∼ 𝑞 ∧ 𝑟)] ∨ [(𝑞 ∧ 𝑟) ∨
(𝑝 ∧ 𝑟)] ⇔ 𝑟
Define Duality and write the dual of i) [(𝑝 ∧ 𝐹 ) ∨ (𝑞 ∧ 𝑇 )] ∧ [(𝑟 ∨ 𝑠) ∨ 𝐹 ] ii) L1&
9 1 1
(𝑝 → 𝑞) → 𝑟. L3
Define NAND and NOR and express only in NAND and only in NOR i) 𝑝 ∨ 𝑞 ii) L1&
10 1 1
𝑝→𝑞 L3
Define nagation, tautology, converse , inverse, contrapositive and contradiction L1&
11 1 1
L3
Write dual, nagation, converse , inverse and contrapositive of the statement :
i) If Kaber wears brown pant then, he will wear white shirt. L1&
12 1 1
L3
ii) If a triangle is not isosceles, then it is not equiletral.
Consider the following open statements with a set of all integers as the universe.
𝑝(𝑥): 𝑥 = 2𝑥 and 𝑞(𝑥): 𝑥 = 4𝑥. Write down the truth values of the following
L1&
13 quantified statements. 1 1
L3
i) ∀𝑥, 𝑝(𝑥) ii) ∃𝑥, 𝑞(𝑥) iii) ∀𝑥, ∼ 𝑝(𝑥) iv) ∃𝑥, ∼ 𝑞(𝑥) v) ∀𝑥, [𝑝(𝑥) ∧ 𝑞(𝑥)]
vi) ∃𝑥, [𝑝(𝑥) ∧ 𝑞(𝑥)] vii) ∀𝑥, [𝑝(𝑥) ∨ 𝑞(𝑥)] viii) ∃𝑥, [𝑝(𝑥) ∨ 𝑞(𝑥)]
Write down the converse, inverse and contrapositive of each of the following for 1 1 L1&
L3
which set of all real numbers is the universe.
14
𝑖) ∀𝑥, [(𝑥 > 3) → (𝑥 > 9)] ii) ∀𝑥, [{(𝑥 + 4𝑥 − 21) > 0} → {(𝑥 > 3) ∨
(𝑥 < −7)}]
 Negate and simplify: i) ∀𝑥, [𝑝(𝑥) → 𝑞(𝑥)] ii) ∀𝑥, [𝑝(𝑥) ∧∼ 𝑞(𝑥)] 1 1 L1&
15 L3
iii) ∃𝑥, [{𝑝(𝑥) ∨ 𝑞(𝑥)} → 𝑟(𝑥)]
Find the validity of the argument 1 1 L1&
𝑁𝑜 𝑒𝑛𝑔𝑖𝑛𝑒𝑒𝑟𝑖𝑛𝑔 𝑠𝑡𝑢𝑑𝑒𝑛𝑡 𝑜𝑓 𝑡ℎ𝑒 𝑓𝑖𝑟𝑠𝑡 𝑜𝑟 𝑠𝑒𝑐𝑜𝑛𝑑 𝑠𝑒𝑚𝑒𝑠𝑡𝑒𝑟 𝑠𝑡𝑖𝑑𝑖𝑒𝑠 L3
i) 𝐴𝑛𝑖𝑙 𝑖𝑠 𝑎𝑛 𝑒𝑛𝑔𝑖𝑛𝑒𝑒𝑟𝑖𝑛𝑔 𝑠𝑡𝑢𝑑𝑒𝑛𝑡 𝑤ℎ𝑜 𝑠𝑡𝑢𝑑𝑖𝑒𝑠 𝑙𝑜𝑔𝑖𝑐.
∴ 𝐴𝑛𝚤𝑙 𝚤𝑠 𝑛𝑜𝑡 𝚤𝑛 𝑠𝑒𝑐𝑜𝑛𝑑 𝑠𝑒𝑚𝑒𝑠𝑡𝑒𝑟.
16 ∀𝑥, [𝑝(𝑥) ∨ 𝑞(𝑥)]
∃𝑥, ∼ 𝑝(𝑥)
ii) ∀𝑥, [∼ 𝑞(𝑥) ∨ 𝑟(𝑥)]
∀𝑥, [𝑠(𝑥) →∼ 𝑟(𝑥)]
∴ ∃𝑥, ∼ 𝑠(𝑥)
Give i) 𝑎 𝑑𝑖𝑟𝑒𝑐𝑡 𝑝𝑟𝑜𝑜𝑓, ii) 𝑎𝑛 𝑖𝑛𝑑𝑖𝑟𝑒𝑐𝑡 𝑝𝑟𝑜𝑜𝑓, iii) 𝑝𝑟𝑜𝑜𝑓 𝑏𝑦 𝑐𝑜𝑛𝑡𝑟𝑎𝑑𝑖𝑐𝑡𝑖𝑜𝑛 for 1 1 L1&
17 L3
the statement i)"If n is odd integer, then n+9 is an even integer."
Give 𝑎 𝑑𝑖𝑟𝑒𝑐𝑡 𝑝𝑟𝑜𝑜𝑓 of 1 1 L1&
L3
18 i) 𝐹𝑜𝑟 𝑎𝑙𝑙 𝑖𝑛𝑡𝑒𝑔𝑒𝑟 𝑘, 𝑙, 𝑖𝑓 𝑘 𝑎𝑛𝑑 𝑙 𝑎𝑟𝑒 𝑒𝑣𝑒𝑛, 𝑡ℎ𝑒𝑛 𝑘 + 𝑙 𝑖𝑠 𝑒𝑣𝑒𝑛.
𝐹𝑜𝑟 𝑎𝑙𝑙 𝑖𝑛𝑡𝑒𝑔𝑒𝑟 𝑘, 𝑙, 𝑖𝑓 𝑘 𝑎𝑛𝑑 𝑙 𝑎𝑟𝑒 𝑒𝑣𝑒𝑛, 𝑡ℎ𝑒𝑛 𝑘𝑙 𝑖𝑠 𝑒𝑣𝑒𝑛.
Test the validity of the arguments 1 1 L1&
L3
i) If I study, I will not fail in examination.If I do not watch TV in the evening, I will
study.I failed in examination Therefore, I must have watched TV in the evening.
ii) If A get the supervisor’s position and work hard, then he will get raise.If he gets

19 a raise, then he will buy a new car.He has not bought a new car.Therefore, he does
not get a supervisor’s position or he did not work hard.
iii) If the band could not play rock music or the refreshments were not served on
time, then the new year party could have been cancelled and Alica would have been
angry. If the party were cancelled, then refunds would have to be made. No refunds
were made, therefore the band could play rock music.
Find the truth value of the following if universe is the set of all nonzero integers 1 1 L1&
L3
𝑖) ∃𝑥, ∃𝑦, [𝑥𝑦 = 2] ii) ∃𝑥, ∀𝑦, [𝑥𝑦 = 2]; iii) ∀𝑥, ∃𝑦, [𝑥𝑦 = 2]
20
iv)∃𝑥, ∃𝑦, [(3𝑥 + 𝑦 = 8) ∧ (2𝑥 − 𝑦 = 7)]; v) ∃𝑥, ∃𝑦, [(4𝑥 + 2𝑦 = 3) ∧ (𝑥 − 𝑦 =
1)]
*CO- Course Outcome Apply basic concepts of relations, functions and partially ordered sets for computer representation

Prepared By Scrutinized By Approved By