In: Advanced Math
We say that a set of system specifications is consistent if there is a way for all the specifications to be simultaneously true. Otherwise, the set of specifications is inconsistent. Consider the following set of system specifications:
If the file system is not locked, then new messages will be queued.
The file system is not locked if and only if the system is functioning normally.
If new messages are not queued, then they will be sent to the message buffer.
If the file system is not locked, then new messages will be sent to the message buffer.
New messages will not be sent to the message buffer.
Use propositional logic to determine if the set of system specifications consistent or inconsistent by doing the following:
Part a (2 pts) : First, define the appropriate propositional variables for representing the system specifications.
Part b (2.5 pts) : Then, translate each of the system specifications into propositional logic using the propositional variables you defined in part a.
Part c (2.5 pts) : Finally, is the set of system specifications consistent or inconsistent? Justify your answer.