Denote \(n\)-nary¹ disjunction by

\begin{equation*} \bigvee_{i = 1}^{n} x_i = x_1 \lor x_2 \lor \cdots \lor x_{n - 1} \lor x_n, \end{equation*}

or equivalently by

\begin{equation*} \bigvee_{x \in S} x_1 \lor x_2 \lor \cdots \lor x_{n - 1} \lor x_n, \end{equation*}

given the set of operands \(S = \{x_1, x_2, \ldots, x_{n - 1}, x_n\}\).