ORは、ΣXi>=1

SAT上の論理和は、ΣXi>=1 です。つまり、OR演算で、ΣXi>=1が計算できることになります。
これを利用して、加算器を使わずに計算ができることがあります。

反対にΣXi<=1は、どうなるでしょうか？　これは、全ての2個の加算がXi+Xk==2となる全ての組み合わせを禁止すればよいです。これには、ｎC2個分の節を要します。　

それでは、ΣXi==1は、どうなるでしょうか？　ΣXi>=1 && ΣXi<=1　と制約すればよいことになります。

上記は、1でしたが、2,3...を想像してみてください。途端に組み合わせ爆発してしまうのが容易に想像できると思います。