4. (6 points) You are modeling a computer system which has three error flags: th

Question

4. (6 points) You are modeling a computer system which has three error flags: the COM flag is set to on when the computer is out of memory; the DEO flag is set to on when a disk error occurs; the NET flag is set to on when network connectivity is unreliable. Are the following system specifications consistent? CD CD If the computer is out of memory, then network connectivity is unreliable. No disk errors can occur when the computer is out of memory. For full credit, describe your model by associating propositional variables with each of your basic propositions and then justify why the compound propositions that result from translating the system specifications are or are not consistent

Explanation / Answer

The following system specification doesn't look like consistent. The reason for that are as follows:

1) When computer is out of memory it means that the disk are working properly and the issue is that the main memory that is required by the operating system to execute the program is very low or its being completely consumed. The disk error occurs when the disk got corrupted or we have fault disk connected to our system.

2) Reliablity of the network does not depend upon the memory of the computer. Reliablity depends upon the various routers, switches, firewall wall as well as the network cables that are being used to connect our system to the external network. So this statement also seems inconsistent regarding reliablity depend upon the memory.

Related Questions

Navigate

• Browse (All)
• Browse 4
• Subjects

---

---

Integrity-first tutoring: explanations and feedback only — we do not complete graded work. Learn more.