h- (10 points) Are these system specifications consistent? To get all points you need to explain your reasoning: You will need to express the specifications using propositions and logical connectives or truth table, and then show how you can make them all true if possible (consistent) or show it is not possible to do so (not consistent). If the file system is not locked, then new messages will be queued. If the file system is not locked, then 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