QUAID-i-AZAM UNIVERSITY

Discrete Mathematics
Assignment No. 1

Q.1 Verify the logical equivalence by using laws and justify your answer
using truth table.
a)
r ∨ p ∧  r ∨ p ∧ q ∧ r ∨ q and p ∧ q
b)
  p ∧ q ∧ p ∨ q ≡ p

Q.2 Draw the Hasse Diagram for the following poset

Q.3 Obtain the DNF and CNF of

Q.4 Let S  Z  Z − 0. Define the relation " " on S where a, b  c, d
if and only if ad  bc.
a) Prove that  is an equivalence relation.
b) Define the operation a, b ⊕ c, d  ad  bc, bd. Prove that ⊕
is well-defined on the set of equivalence classes.

Q.5 Show that the relation R  a, b ∣ a divides b defined on the set
S  1, 2, 3, 4, 6 is a partial order relation.