Ch $01$ Sec $2$ Ex $10$ MAIN $($DEPENDENT MULTI$-$PART PROBLEM $-$ ASSIGN ALL PARTS.$)-$ Consistent specifications

Skip to question

NOTE: This is a multi$-$part question. Once an answer is submitted, you will be unable to return to this part.

Consider the following specifications: $$Whenever the system software is being upgraded, users cannot access the file system. If users can access the file system, then they can save new files. If users cannot save new files, then the system software is not being upgraded.$$

The goal of this exercise is to determine whether the given specifications are consistent. To do this, we express the given specifications in terms of the statements:

u: The software system is being upgraded.

a: Users can access the file system.

s: Users can save new files.

Ch $01$ Sec $2$ Ex $10($d$)-$ Consistent specifications

Is the given system consistent?