decomposable formula

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