satisfiability problem

Проблема выполнимости (в булевой алгебре)