A set of propositions is consistent if there is an assignment of truth values to each of the variables in the propositions that makes all propositions in the set true. In the following set of propositions consistent? New mexrages will be queued if the file system is not locked The file system is locked if and only if the system is functioning normally New messages are not queued, only if they will be sent to the message buffer The file system not locked is a sufficient condition for new messages to be sent to the message buffer Either the system is functioning normally or new messages will not be sent to the message buffer, but not both