Logic of multiple variables in ILP
There's a straightforward way to represent the logical AND of $n$ variables $x_1,\dots,x_n$: add the linear inequalities $y \ge x_1+ \dots + x_n-(n-1)$, $y \le x_i$ for each $i$, and $0 \le y \le 1$.