I'm having some trouble with this question :

Determine whether the following software requirements that belong to a software requirements specification are consistent:

-The system is in multiuser state if and only if it is operating normally.

-If the system is operating normally, then the kernel is functioning.

-The kernel is not functioning or the system is in interrupt mode.

-If the system is not in multiuser state, then it is not in interrupt mode.

-The system is in interrupt mode.

This is my attempt:

Let

M: multi-user state

N: operating normally

K: kernel functioning

I: in interrupt mode

therefore

MN

NK

KI

MI

I

However now I'm having some trouble on how to proceed.