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.2 - Applications of Propositional Logic - Exercises - Page 23: 11

Answer

The system is consistent

Work Step by Step

Let $p$ denote "The router can send packets to the edge system" Let $q$ denote "The router supports the new address space" Let $r$ denote "The latest software release is installed". The system specification are as follows: The router can send packets to the edge system only if it supports the new address space - $q \to p$ For the router to support the new address space it is necessary that the latest software release be installed. - $q \to r$ The router can send packets to the edge system if the latest software release is installed - $r \to p$ The router does not support the new address space $\neg q$ Looking at the last statement, it is clear $q$ has to be false. If we observe the first three statements it is clear that $p$ and $r$ being true also result in all these statements being true. (in $p \to q$, if q is true, the statement is true) Therefore, the system is consistent for $p, r$ being true and $q$ being false.
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.