выполнимое предложение

Мат. satisfiable sentence