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

Question

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

p = 进程 a

q = 进程 b

r = 临界区

运算符 ∨ = 或

运算符 → = 蕴涵

我的答案 ：

(p ∨ q) → r

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