Для оптимизации и автоматизации синтеза комбинационных автоматов предлагаются методы на основе структурно-функциональной последовательной (параллельной) декомпозиции булевых функций, а также на основе функциональных уравнений. Получены оценки для показателей качества синтеза в разных базисах: число символов переменных в задающей функцию формуле; число подформул и глубина формулы; число функциональных элементов и глубина схемы, составляющие реляционную базу данных. Некоторые полученные оценки показателей качества — сложности синтеза, представляющие практический интерес, минимальные. Ключевые слова: булевы функции, синтез формул и схем, декомпозиция, сплошность, показатели качества, минимизация, функциональные и разностные уравнения, многокритериальная оптимизация, реляционная база данных.
