Match the following:

(A) (1)
(B) (2)
(C) (3)
(D) (4)
Answer: (A)
Explanation:
- (p → q) ⇔ (¬q → ¬p) is Contrapositive
- [(p ∧ q) → r] ⇔ [p → (q → r)] is exportation law.
- (p → q) ⇔ [(p ∧ ¬q) → o] is Reductio ad absurdum
- (p ↔ q)⇔[(p → q)∧(q → p)] is Equivalence.
So, option (A) is correct.
Quiz of this Question
Whether you're preparing for your first job interview or aiming to upskill in this ever-evolving tech landscape,
GeeksforGeeks Courses are your key to success. We provide top-quality content at affordable prices, all geared towards accelerating your growth in a time-bound manner. Join the millions we've already empowered, and we're here to do the same for you. Don't miss out -
check it out now!