Предложен новый метод изучения математических моделей дискретных логических устройств на основе функциональных уравнений. При этом, представляя булеву функцию в классе формул (схем из функциональных элементов с ветвлением и без), получаем значения показателей сложности по числу букв, подформул и глубине суперпозиционной формулы (числу функциональных элементов и глубине схемы). Результаты применяются в логико-вычислительном подходе к интеллектуализации программ синтеза дискретных логических устройств на основе цифровых интегральных схем.
