Формирование функций возбуждения запоминающей ячейки

Составим таблицу истинности для функций возбуждения f₁ и f₂ запоминающей ячейки (см. рис. 3.22). Аргументами для данных функций являются выход триггера Q, входы Е₁, Е₂ и С, т.е. существуют 2⁴ = 16 наборов входных переменных, на которых. надо определить значения функций.

При формировании таблицы истинности (табл. 3.1) отдельно рассмотрим верхнюю ее половину (С = 0) и нижнюю (С = 1).

Таблица 3.1

Таблица истинности функций возбуждения запоминающей ячейки Е₁Е₂-триггера

Примечание. Х - произвольное значение.

При С = 0 функции f₁ и f₂ должны иметь такие значения, которые не меняют состояние ЗЯ. Это исходное состояние триггера. Следует помнить, что состояние первой ступени и второй ступени при С = 0 одинаково, т.е. значение выхода Q равно значению выхода Q' (см. рис. 3.22). Из таблицы переходов ЗЯ (см. рис. 3.2,б) видно, что запрещенной комбинацией входных сигналов является f₁ = 0 и f₂ = 0; при f₁ = 1 и f₂ = 1 ЗЯ не изменяет своего состояния.

Теперь рассмотрим первую строчку табл. 3.1. Так как С= 0, то значения функций f₁ и f₂ не должны изменять значение выхода Q' = Q = 0. Это возможно, если функция f₁ будет равна 1, а f₂ равна 1 или 0. Положим на данном наборе f₂ = X; что эквивалентно неопределенному значению функции на этом наборе.

Рассмотрим вторую строчку. Здесь Q' = Q = 1. Чтобы состояние ЗЯ не изменилось, значение функции f₂ должно быть равно 1, а f₁ может принимать произвольное значение, т.е. f₁ = X на данном наборе. Рассуждая аналогичным образом, заполним всю первую половину таблицы. Поскольку при формировании этой части таблицы не рассматривались значения сигналов E₁ и E₂, то такое содержание первой половины таблицы неизменно длялюбого триггера.

При определении значений функций f₁ и f₂ во второй половине табл. 3.1 (С = 1) необходимо использовать таблицу переходов синтезируемого триггера (см. вариант 30). Рассмотрим первую строчку второй половины табл. 3.1. Здесь значения входных переменных следующие: Q = 0, E₁= 0, Е₂ = 0. Теперь обратимся к таблице переходов E₁E₂-триггера. При E₁= E₂ = 0 триггер не изменяет своего состояния, следовательно, f₁ = 1, f₂ = X на данном наборе. Вторая строчка этой половины таблицы отличается от первой только значением Q. Следовательно, для этого набора переменных f₁ = X, f₂= 1.

Рассмотрим комбинацию входных переменных С = 1, Е₁ = 0, Е₂ = 1, Q = 1. В соответствии с таблицей переходов триггер должен изменить свое состояние с 1 на 0. Чтобы триггер изменил свое состояние, значение функции f₁ должно быть равно 1, а f₂ - 0. Проводя подобные рассуждения, заполняем всю таблицу истинности (см. табл. 3.1).