Assignment 3 DSTL
Assignment 3 DSTL
B.TECH – CSE
Assignment 3
Faculty Name: Aradhna Saini
Subject (Code): Discrete Structures & Theory of Logic (BCS 303) Year/Sem: 2nd / 3rd
(( 𝑝 ˅ 𝑞) ˄ (𝑝 → 𝑟) ˄(𝑞 → 𝑟)) → 𝑟.
2 Show that the following statement is tautology : BCS 303.3, K2
6 How many rows appear in a truth table for each of these compound BCS 303.3, K1
propositions?
b) (p∨ ∼ r) ∧ (q∨ ∼ s)
a) p →∼ p
c) q ∨ p∨ ∼ s∨ ∼ r∨ ∼ t ∨ u
d) (p ∧ r ∧ t) ↔ (q ∧ t)
7 Show that the premises “If you send me an e-mail message, then I will BCS 303.3, K2
finish writing the program,” If you do not send me an e-mail message,
then I will go to sleep early,” and “If I go to sleep early, then I will
wake up feeling refreshed” lead to the conclusion “If I do not finish
writing the program, then I will wake up feeling refreshed.”
8 Prove that if n is a positive integer, then n is even if and only if 7n + 4 BCS 303.3, K5
is even.