Let \( \Delta, \nabla \in \{\wedge, \vee\} \) be such that \( p \nabla q \Rightarrow ((p \Delta q)\nabla r) \) is a tautology. Then \( (p \nabla q)\Delta r \) is logically equivalent to:
\( (p \Delta r) \vee q \)
\( (p \Delta r) \wedge q \)
\( (p \wedge r) \Delta q \)
\( (p \nabla r) \wedge q \)