Are these system specifications consistent? "The system is in multiuser state if and only if it is operating normally. If the system is operating normally, the kernel is functioning.
The kernel is not functioning or the system in interrupt mode. If the system is not in multiuser state, then it is in interrupt mode. The system is not in interrupt mode."