We say that a set of system specifications is consistent ifthere is a way for all the specifications to be simultaneouslytrue. 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 bequeued.
The file system is not locked if and only if the system isfunctioning normally.
If new messages are not queued, then they will be sent to themessage buffer.
If the file system is not locked, then new messages will be sentto the message buffer.
New messages will not be sent to the message buffer.
Use propositional logic to determine if the set of systemspecifications consistent or inconsistent by doing thefollowing:
Part a (2 pts) : First, define the appropriate propositionalvariables for representing the system specifications.
Part b (2.5 pts) : Then, translate each of the systemspecifications into propositional logic using the propositionalvariables you defined in part a.
Part c (2.5 pts) : Finally, is the set of system specificationsconsistent or inconsistent? Justify your answer.
