Э-э-э . . . а может вам нужно минимизировать эту функцию:

Нужно ещё определить чему равно

(предполагаю

)
Видимо, неуказанные ограничения не позволяют всем переменным

быть одновременно равными нулю?
Попробуйте представить

в виде булевой функции от переменных
