выполнимая формула

Мат. satisfiable formula