Formalise the following requirement in propositional logic using suitable propositions for the component statements

Question

The process a or process b enters the critical section, but not at the same time. If this happens (i.e. they enter the critical section simultenously), an interrupt will be executed.

p = process a

q = process b

r = critical section

operator ∨ = or

operator → = implication

my answer :

(p ∨ q) → r

Is this correct or have I Done something wrong? I am trying to understand propositional logic.