задача выполнимости

Мат. satisfiability problem