Алгоритм формул приведения: разбор и примеры