Na schemacie FBD widoczne są dwie bramki AND oraz dwie bramki NOT połączone "na krzyż". Z połączeń wynika, że:
- Q1 przyjmuje wartość 1 tylko wtedy, gdy I1=1 oraz jednocześnie I2=0, czyli Q1 = I1 AND (NOT I2).
- Q2 przyjmuje wartość 1 tylko wtedy, gdy I2=1 oraz jednocześnie I1=0, czyli Q2 = I2 AND (NOT I1).
Taki układ to klasyczna blokada wzajemna: gdy jeden kanał jest aktywny, drugi jest blokowany przez negację jego sygnału.
Najprościej potwierdzić to tablicą prawdy dla wszystkich 4 kombinacji wejść:
- Gdy I1=0, I2=0 → NOT I2=1, NOT I1=1, ale AND z 0 daje 0, więc Q1=0 i Q2=0.
- Gdy I1=0, I2=1 → Q1=0 (bo I1=0), Q2=1 (bo I2=1 i NOT I1=1).
- Gdy I1=1, I2=0 → Q1=1 (bo I1=1 i NOT I2=1), Q2=0 (bo I2=0).
- Gdy I1=1, I2=1 → NOT I2=0 i NOT I1=0, więc oba AND mają na jednym wejściu 0, co daje Q1=0 i Q2=0.
Widać, że stany wyjść, które mogą się pojawić, to: (0,0), (0,1) oraz (1,0). Stan Q1=1 i Q2=1 nie może wystąpić, bo wymagałby jednocześnie I1=1 (żeby Q1=1) i I1=0 (żeby Q2=1), a to warunek sprzeczny logicznie. Analogicznie sprzeczność dotyczy I2.
Dlaczego pozostałe odpowiedzi są niepoprawne jako "nigdy nie wystąpi"?
- Q1 = 0 i Q2 = 1 występuje przy I1=0, I2=1.
- Q1 = 1 i Q2 = 0 występuje przy I1=1, I2=0.
- Q1 = 0 i Q2 = 0 występuje m.in. przy I1=0, I2=0 oraz także przy I1=1, I2=1.
W praktyce takie blokady stosuje się np. do uniemożliwienia jednoczesnego wysterowania dwóch przeciwstawnych funkcji (prawo/lewo, otwórz/zamknij), co zmniejsza ryzyko uszkodzeń i błędów sterowania.
