1, Formalize the following arguments and verify whether they are valid: a) The system is in a multi-user state if and only if it is operating normally. If the system is operating normally, the kernel is functioning. Either the kernel is not functioning or the system is in interrupt mode. If the system is not in multi-user state, then it is in interrupt mode. Thus, the system is not in interrupt mode.​