satisfiable formula

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