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