satisfiable sentence

Мат. выполнимое предложение