DISCRETE
DISCRETE
ABBOTTABAD Campus,
Assignment # 1
Submitted to:
Maim Sonia Ghazal
Question 1: Let p and q be the propositions
p: I bought a lottery ticket this week. q: I won the million dollar jackpot
a) ¬p
I did not buy the lottery ticket this week.
b) p ∨ q:
I bought a lottery ticket this week or I won the million dollar jackpot.
c) p → q:
If I bought a lottery ticket this week, then I won the million dollar jackpot.
d) p ∧ q:
I bought a lottery ticket this week and I won the million dollar jackpot.
e) p ↔ q:
I bought a lottery ticket this week if and only if I won the million dollar
jackpot.
f) ¬p → ¬q:
If I did not buy a lottery ticket this week, then I did not win the million
dollar jackpot.
g) ¬p ∧ ¬q:
I did not buy a lottery ticket this week and I did not win the million dollar
jackpot.
h) ¬p ∨ (p ∧ q):
I did not buy a lottery ticket this week or I bought a lottery ticket this
week and won the million dollar jackpot.
Question 2:
a) p → q:
If you have the flu, then you miss the final examination.
b) ¬q ↔ r:
You don't miss the final examination if and only if you pass the course.
c) q → ¬r:
If you miss the final examination, then you don't pass the course.
d) p ∨ q ∨ r:
You have the flu or you miss the final examination or you pass the course.
e) (p → ¬r) ∨ (q → ¬r):
Either if you have the flu, you don't pass the course, or if you miss the
final examination, you don’t pass the course.
f) (p ∧ q) ∨ (¬q ∧ r):
Either you have the flu and miss the final examination, or you don't miss
the final examination and pass the course.
QUESTION 3 :
ANSWERS:
a) r ∧ ¬p
b) ¬p ∧ (q ∧ r)
c) r→ (q ↔ ¬p)
d) ¬q ∧( ¬p ∧ r)
e) q → (¬r ∧ ¬p)
f) (p ∧ r) → ¬q
Question 4:
P Q p↔q ¬q p ↔ ¬q p↔q⊕p↔
¬q
T T T F F T
T F F T T T
F T F F T T
F F T T F T
Question 5:
a) ¬ (p ∧ q)= ¬p ∨ ¬ q
Use a truth table verify De margin’s law
p q p∧q ¬(p ∧ q) ¬p ¬q ¬p ∨
¬q
T T T F F F F
T F F T F T T
F T F T T F T
F F F T T T T
T T T T T T T
T T T F T F F
T T F T T F F
T T F F T T T
T F T T F T F
T F T F F F T
T F F T F F T
T F F F F T F
F T T T F T F
F T T F F F T
F T F T F F T
F T F F F T F
F F T T T T T
F F T F T F F
F F F T T F F
F F F F T T T
*Complete*