### 3.7.34. Boolean constraint

A Boolean constraint is a constraint of the form $v=f\left({v}_{1},...,{v}_{n}\right)$ $\left(n\ge 2\right)$ where $v,{v}_{1},...,{v}_{n}$ are 0 -1 variables and where $f\left({v}_{1},...,{v}_{n}\right)$ is a logical expression involving connectors, such as $¬$, $\vee$, or $\wedge$.