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: 21

Answer

The columns in the truth table for $\neg(p\leftrightarrow q)$ and $\neg p\leftrightarrow q$ are identical, so the statements are logically equivalent.

Work Step by Step

$\left[\begin{array}{ccccc} p & q & p\leftrightarrow q & \neg(p\leftrightarrow q)\\ \hline & & & \\ T & T & T & F\\ T & F & F & T\\ F & T & F & T\\ F & F & T & F \end{array}\right.\left[\begin{array}{cc} \neg p & \neg p\leftrightarrow q\\ \hline & \\ F & F\\ F & T\\ T & T\\ T & F \end{array}\right]$ The columns in the truth table for $\neg(p\leftrightarrow q)$ and $\neg p\leftrightarrow q$ are identical, so the statements are logically equivalent.
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.