Discrete Mathematics Questions and Answers – Logics – Logical Equivalences

This set of Discrete Mathematics Multiple Choice Questions & Answers (MCQs) focuses on “Logics – Logical Equivalences”.

1. The compound propositions p and q are called logically equivalent if ________ is a tautology.
a) p ↔ q
b) p → q
c) ¬ (p ∨ q)
d) ¬p ∨ ¬q
View Answer

Answer: a
Explanation: Definition of logical equivalence.

2. p → q is logically equivalent to ________
a) ¬p ∨ ¬q
b) p ∨ ¬q
c) ¬p ∨ q
d) ¬p ∧ q
View Answer

Answer: c
Explanation: (p → q) ↔ (¬p ∨ q) is tautology.

3. p ∨ q is logically equivalent to ________
a) ¬q → ¬p
b) q → p
c) ¬p → ¬q
d) ¬p → q
View Answer

Answer: d
Explanation: (p ∨ q) ↔ (¬p → q) is tautology.
advertisement

4. ¬ (p ↔ q) is logically equivalent to ________
a) q↔p
b) p↔¬q
c) ¬p↔¬q
d) ¬q↔¬p
View Answer

Answer: b
Explanation: ¬(p↔q)↔(p↔¬q) is tautology.

5. p ∧ q is logically equivalent to ________
a) ¬ (p → ¬q)
b) (p → ¬q)
c) (¬p → ¬q)
d) (¬p → q)
View Answer

Answer: a
Explanation: (p ∧ q) ↔ (¬(p → ¬q)) is tautology.
Free 30-Day C Certification Bootcamp is Live. Join Now!

6. Which of the following statement is correct?
a) p ∨ q ≡ q ∨ p
b) ¬(p ∧ q) ≡ ¬p ∨ ¬q
c) (p ∨ q) ∨ r ≡ p ∨ (q ∨ r)
d) All of mentioned
View Answer

Answer: d
Explanation: Verify using truth table, all are correct.

7. p ↔ q is logically equivalent to ________
a) (p → q) → (q → p)
b) (p → q) ∨ (q → p)
c) (p → q) ∧ (q → p)
d) (p ∧ q) → (q ∧ p)
View Answer

Answer: c
Explanation: (p ↔ q) ↔ ((p → q) ∧ (q → p)) is tautology.

8. (p → q) ∧ (p → r) is logically equivalent to ________
a) p → (q ∧ r)
b) p → (q ∨ r)
c) p ∧ (q ∨ r)
d) p ∨ (q ∧ r)
View Answer

Answer: a
Explanation: ((p → q) ∧ (p → r)) ↔ (p → (q ∧ r)) is tautology.

9. (p → r) ∨ (q → r) is logically equivalent to ________
a) (p ∧ q) ∨ r
b) (p ∨ q) → r
c) (p ∧ q) → r
d) (p → q) → r
View Answer

Answer: c
Explanation: ((p → r) ∨ (q → r)) ↔ ((p ∧ q) → r) is tautology.
advertisement

10. ¬ (p ↔ q) is logically equivalent to ________
a) p ↔ ¬q
b) ¬p ↔ q
c) ¬p ↔ ¬q
d) ¬q ↔ ¬p
View Answer

Answer: a
Explanation: (¬ (p ↔ q)) ↔ (p ↔ ¬q) is tautology.

Sanfoundry Global Education & Learning Series – Discrete Mathematics.

To practice all areas of Discrete Mathematics, here is complete set of 1000+ Multiple Choice Questions and Answers.

advertisement
advertisement
Subscribe to our Newsletters (Subject-wise). Participate in the Sanfoundry Certification contest to get free Certificate of Merit. Join our social networks below and stay updated with latest contests, videos, internships and jobs!

Youtube | Telegram | LinkedIn | Instagram | Facebook | Twitter | Pinterest
Manish Bhojasia - Founder & CTO at Sanfoundry
I’m Manish - Founder and CTO at Sanfoundry. I’ve been working in tech for over 25 years, with deep focus on Linux kernel, SAN technologies, Advanced C, Full Stack and Scalable website designs.

You can connect with me on LinkedIn, watch my Youtube Masterclasses, or join my Telegram tech discussions.

If you’re in your 40s–60s and exploring new directions in your career, I also offer mentoring. Learn more here.