проблема выполнимости

Satisfiability problem