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