Valid sum over binary variables, basic question

Printable View