выполнимость формулы

Мат. formula satisfiability