decidable formula

Мат. разрешимая формула