Анализ автомата на отсутствие состязаний типа «риск в 1» по выходу z2 или Z1.

Анализ по выходу z2:

Анализ по выходу z1:

В данной функции нет переменных, которые входят в нее как в прямом, так и в инверсном виде, значит, состязаний сигналов нет.

Т.к. состязаний в функциях z1 и z2 нет, то по заданию нужно выполнить пример из учебного пособия (часть 1, с. 130, пример 5.5).

Логическое выражение, описывающее условия его работы, имеет вид:

Очевидно, что в рассматриваемом ДУ могут иметь место состязания типа риск в нуле (форма КНФ) по переменным x ₂ и x ₃, т.е. при таких изменениях состояний входов, при которых x ₂ или x ₃ меняются с 0 на 1, на выходе ДУ может кратковременно появиться ошибочный единичный сигнал.

Из КНФ получаем:

Вычисляем функции риска в нуле по x ₂ и x ₃:

Вычисляем функцию риска в нуле для всего ДУ:

Приведем функцию к символической форме при базе x ₁ x ₂ x ₃ x ₄:

Так как риск в нуле проявляется лишь при отсутствии выходного сигнала (сигнал на выходе равен 0), то нас интересуют запрещенные наборы функции , именно на них возможны состязания типа риск в нуле.

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

Полученный результат говорит о том, что на входных наборах 1, 3, 9, 10, 11, 14, 15 (при базе x ₁ x ₂ x ₃ x ₄) на выходе ДУ сигнала быть не должно (нулевой сигнал). Однако вследствие наличия состязаний типа риск в нуле по переменной x ₂ и x ₃ при переходах входных сигналов 10 → 14, 11 → 15, 1 → 3, 9 → 11, когда переменные x ₂ и x ₃ изменяют свои значения с 0 на 1, возможны появления на выходе кратковременных ложных единичных сигналов.