1.На функциональной схеме выходы всех логических элементов (ЛЭ) обозначить промежуточными переменными.
2.Составить логические функции для каждого ЛЭ.
3.Путем подстановок исключить все внутренние переменные. Получить формулы зависимости выходов у 1,... ут от его входов x 1,.... хп.
4.Составить таблицу истинности.
5.Представить результаты анализа в удобной для пользователя форме.
Последний пятый пункт алгоритма анализа в общем случае уже является переходом к задаче синтеза комбинационного устройства.