Discrete Mathematics with Applications 4th Edition

Published by Cengage Learning
ISBN 10: 0-49539-132-8
ISBN 13: 978-0-49539-132-6

Chapter 2 - The Logic of Compound Statements - Exercise Set 2.1: 8


a. (h∧w)∧~s b. ~w∧(h∧s) c. ~h∧(~w∧~s) d. (~w∧~s)∧h e. w∧~(h∧s)

Work Step by Step

Translate every occurrance of "and" or "but" as "∧." Translate every occurrance of "not" as "~," and every occurrance of "neither...nor..." as "~_∧~_." Note that answers may vary due to the commutative law. However, be careful when dealing with negatives: "~(x∧y)" is logically equivalent to "~x∨~y," NOT "~x∧~y."
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.