Let $y, x_1, x_2, x_3$ be binary variables.
The following holds: $y=1 \implies x_1=1, x_2=1, x_3=1$
I can model this by requiring (1) \begin{align}x_1 &\ge y\\x_2 &\ge y\\x_3 &\ge y\end{align}
or by requiring (2) $$\frac{x_1 + x_2 + x_3}3 \ge y$$
The question is, is requirement (1) or requirement (2) more advantageous and why?