Алгебраический метод определения функций возбуждения триггеров

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