Последовательность упрощения формулы