Are these system specifications consistent? (Refer to the slides to see how to prove that system specifications are 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 is in interrupt mode. . If the system is not in multiuser state, then it is in interrupt mode. Hint: Give symbols for each proposition