1) Express the following statements in propositional logic using the proposition:

N the system is functioning normally

L the file system is locked

Q new messages are queued

B new messages are sent to the message buffer.

a) New messages are not sent to the message buffer.

b) If new messages are not queued then they are not sent to the message buffer.

c) If the system is functioning normally then the le system is not locked.

d) If the le system is not locked then (i) new messages are queued, (ii) new messages are sent to the message buffer (iii) the system is functioning normally.

e) Choose values (true or false) for each of the variables L,Q,B,N to make all the four propositions in parts (a) (b) (C) and (d) true.