Denote \(n\)-nary¹ conjunction by

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

or equivalently by

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

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