Формализуйте следующее требование в логике высказываний, используя подходящие высказывания для компонентных утверждений.
Процесс a или процесс b входит в критическую секцию, но не одновременно. Если это произойдет (то есть они одновременно входят в критическую секцию), будет выполнено прерывание.
р = обработать
q = процесс б
r = критическая секция
оператор ∨ = или
оператор → = значение
мой ответ:
(p ∨ q) → r
Это правильно или я сделал что-то не так? Я пытаюсь понять логику высказываний.