Required information

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.

What is the symbolic representation of the statement, $"$If users can access the file system, then they can save new files"?

$($You must provide an answer before moving to the next part.$)$

Multiple Choice

$as$