使用适用于组件语句的命题，在命题逻辑中形式化以下要求

Question

流程a或流程b进入关键部分，但不是同时进入。如果发生这种情况（即它们同时进入临界区），将执行中断。

p =处理一个

q =过程b

r =临界区

运营商∨=或

operator→= implication

我的回答：

（p∨q）→r

这是正确的还是我做错了什么？我试图理解命题逻辑。