Concept explainers
We now present a group of exercises that involve the logical operatorsNANDandNOR. The propositionp NAND q, is true when eitherporq, or both, are false; and it is false when bothpandqare true. The propositionp NOR qis true when bothpandqare false, and it is false otherwise. The propositionsp NAND qandp NOR qare denoted by
61. The following sentence is taken from the specification of a telephone system: "If the directory database is opened, then the monitor is put in a closed state, if the system not in its initial state," This specification is hard to understand because it involves two conditional statements. Find an equivalent, easier-to-understand specification that involves disjunctions and negations but not conditional statements.
Want to see the full answer?
Check out a sample textbook solutionChapter 1 Solutions
Discrete Mathematics and Its Applications ( 8th International Edition ) ISBN:9781260091991
- Algebra: Structure And Method, Book 1AlgebraISBN:9780395977224Author:Richard G. Brown, Mary P. Dolciani, Robert H. Sorgenfrey, William L. ColePublisher:McDougal Littell