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