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 36: 57

Answer

If the database is open, then either the system is in its initial state or the monitor is put in a closed state.

Work Step by Step

Lets do, me, and in stand for the propositions. "The directory database is opened,'' "The monitor is put in a closed state," and "The system is in its initial state,'' respectively. Then the given statement reads -iin ___, (do ___, me). By the third line of Table 7 (twice), this is equivalent to in V (-ido V me). In words, this says that it must always be true that either the system is in its initial state, or the data base is not opened, or the monitor is put in a closed state. Another way to render this would be to say that if the database is open, then either the system is in its initial state or the monitor is put in a closed state.
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.