выполнимое высказывание

Мат. satisfiable statement