Исследование правильности логической сети

Заметим, что требование правильности логической сети не исключает наличия в ней петель обратной связи или циклов в соответствующем ей графе. Логическая сеть, построенная из логических элементов без соединения между собой выходов нескольких элементов и без обратных связей, всегда является правильной и представляет комбинационное устройство. Однако наличие в логической сети петель обратной связи не является достаточным признаком того, что устройство не комбинационное. Для примера на рис. 17 изображена логическая сеть из двух мажоритарных элементов с петлей обратной связи. Вычислив реализуемую сетью выходную функцию z, покажем, что последняя представляет комбинационное устройство.

Рис. 17. Пример логической сети комбинационного устройства с обратной связью

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

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

Пример 2.6. Для логической сети рис. 17, обозначив символом а условную независимую переменную и символом у₂ – новый выход, имеем:

ранг 1 – y₁ = z = ab Ú ac Ú bc;

ранг 2 – y₂ = а Ú ау₁ = а.

После подстановки у₂ = а вместо а получаем:

z = ab Ú ac Ú bc.

Следовательно, логическая сеть (рис. 17) представляет комбинационное устройство с несущественной обратной связью.

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