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.4 - Predicates and Quantifiers - Exercises - Page 54: 31

Answer

a) $Q(0,0,0) \land Q(0,1,0)$ b) $Q(0,1,1) \lor Q(1,1,1)\lor Q(2,1,1)$ c) $\neg Q(0,0,0) \lor \neg Q(0,0,1)$ d) $ \neg Q(0,0,1) \lor \neg Q(1,0,1) \lor \neg Q(2,0,1)$

Work Step by Step

a) y can take on values 0 or 1 and all values are possible. $$Q(0,0,0) \land Q(0,1,0)$$ b) x can take on values 0,1 or 2 and there has to exists one value out of the three for the propositional function. $$Q(0,1,1) \lor Q(1,1,1)\lor Q(2,1,1)$$ c) z can take on values 0 and 1 and there has to exists one value out of the two for the propositional function. $$\neg Q(0,0,0) \lor \neg Q(0,0,1)$$ d) x can take on the values 0,1 or 2. $$ \neg Q(0,0,1) \lor \neg Q(1,0,1) \lor \neg Q(2,0,1)$$
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.