Introduction to Discrete Structures Final
Exam Questions with 100% Correct
Answers
Logical Equivalence:
Commutative Laws - ✔✔p∧q ≡ q∧p
p∨q ≡ q∨p
Logical Equivalence:
Associative Laws - ✔✔(p∧q) ∧ r ≡ p ∧ (q∧r)
(p∨q) ∨ r ≡ p ∨ (q∨r)
Logical Equivalence:
Distributive Laws - ✔✔p ∧ (q∨r) ≡ (p∧q) ∨ (p∧r)
p ∨ (q∧r) ≡ (p∨q) ∧ (p∨r)
Logical Equivalence:
Identity Laws - ✔✔p∧t ≡ p
p∨c ≡ p
, ©JOSHCLAY 2024/2025. YEAR PUBLISHED 2024.
Logical Equivalence:
Negation Laws - ✔✔p∨~p ≡ t
p∧~p ≡ c
Logical Equivalence:
Double Negative Law - ✔✔~(~p) ≡ p
Logical Equivalence:
Idempotent Laws - ✔✔p∧p ≡ p
p∨p ≡ p
Logical Equivalence:
Universal Bound Laws - ✔✔p∨t ≡ t
p∧c ≡ c
Logical Equivalence:
DeMorgan's Laws - ✔✔~(p∧q) ≡ ~p∨~q
~(p∨q) ≡ ~p∧~q
Logical Equivalence:
Absorption Laws - ✔✔p∨(p∧q) ≡ p
p∧(p∨q) ≡ p
Logical Equivalence: