help answer the question and construct a truth table for CSC 230 (Discrete mathematics)

Consider the following system specitications: - 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 conjecture that you must either prove or refute is that the specifications are consistent