The Superior College Lahore: Bachelors in Computer Science
The Superior College Lahore: Bachelors in Computer Science
Instructions:
You should have the knowledge of propositional logics.
Logic Calculator
You should have the knowledge of sets
Do your own work. Cheated or copy paste form internet or from classmate will be marked 0.
Assignment
Instructor: should
Muhammad be typed in MS Word with font style “Times New
Hassan Roman”
Total and50
Marks: font size “12”.
Submission deadline is: May 8, 2020 till 4:00 P.M.
Question 1.
(a) What are the applications of discrete structure in computer science? Explain your
answer with at least three examples.
(b) Use truth tables to establish which of the statement forms are tautologies, contradictions
and which are logical equivalent.
i. (𝑝 ∧ 𝑞) ∨ (∼ 𝑝 ∨ (𝑝 ∧ ∼ 𝑞))
ii. ((∼ 𝑝 ∧ 𝑞) ⨁ (𝑞 ∧ 𝑟 )) ∧ ∼ 𝑞
iii. (∼ 𝑝 → 𝑞) ∨ (𝑝 ↔ ∼ 𝑞)
Question 2.
Let 𝑈 = {1,2,3,4,5,6,7,8,9,10,11,12,13,14,15}, 𝐴 = {1,3,5,7,9,11,13,15}, 𝐵=
{2,3,5,7,11,13} and 𝐶 = {3,6,9,12,15} then compute the bit strings of following
combinations:
a) 𝐴 ∪ (𝐵 ∩ 𝐶)
b) ̅̅̅
(𝐴 ∩ 𝐵̅) ∩ 𝐶̅
Question 3.
Show that if A, B, and C are sets, then ̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅
𝐴 ∩ 𝐵 ∩ 𝐶 = 𝐴̅ ∪ 𝐵̅ ∪ 𝐶̅ .
a) by using Venn Diagram
b) using a membership table.