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