ધારો કે $\Delta, \nabla \in \{\wedge, \vee\}$ એવા છે કે જેથી $(p \nabla q) \Rightarrow ((p \nabla q) \nabla r)$ એ એક નિત્યસત્ય (tautology) છે. તો $(p \nabla q) \Delta r$ એ તાર્કિક રીતે કોના સમકક્ષ છે?

• A
  $(p \Delta r) \vee q$
• B
  $(p \Delta r) \wedge q$
• C
  $(p \wedge r) \Delta q$
• D
  $(p \nabla r) \wedge q$