Discrete Mathematics and Its Applications, Seventh Edition

Published by McGraw-Hill Education
ISBN 10: 0073383090
ISBN 13: 978-0-07338-309-5

Chapter 1 - Section 1.3 - Propositional Equivalences - Exercises - Page 35: 16

Answer

The statement $p\leftrightarrow q$ means "p if and only if q". This statement evaluates to true only when $p$ and $q$ have the same truth value, so it is only true when both $p$ and $q$ are true or both $p$ and $q$ are false. The second proposition, $(p\land q)\lor(\neg p\land\neg q)$ means "p and q, or not p and not q". This too will evalueate to true only when both $p$ and $q$ are true or when $p$ and $q$ are both false. Since the two propositions have the same truth value for every truth assignment of $p$ and $q$, they are logically equivalent.

Work Step by Step

This question asked us for an explanation, so I included the full explanation in the answer section. Please see above.
Update this answer!

You can help us out by revising, improving and updating this answer.

Update this answer

After you claim an answer you’ll have 24 hours to send in a draft. An editor will review the submission and either publish your submission or provide feedback.