Анализ условных алгоритмов