Na schemacie FBD widać dwie bramki AND oraz dwie bramki NOT połączone "na krzyż". Z tego wynika, że:
- Q1 = I1 AND (NOT I2) – wyjście Q1 włączy się tylko wtedy, gdy wejście I1 ma stan 1, a jednocześnie I2 ma stan 0.
- Q2 = I2 AND (NOT I1) – wyjście Q2 włączy się tylko wtedy, gdy wejście I2 ma stan 1, a jednocześnie I1 ma stan 0.
Sprawdźmy warunek na jednoczesne wystąpienie Q1=1 i Q2=1. Dla Q1=1 musi być I1=1 oraz I2=0. Dla Q2=1 musi być I2=1 oraz I1=0. To są wymagania sprzeczne (I1 musiałoby być jednocześnie 1 i 0, a I2 jednocześnie 0 i 1), więc kombinacja (Q1,Q2)=(1,1) jest niemożliwa.
Dla porządku można przeanalizować wszystkie 4 kombinacje wejść (I1,I2):
- 00 → NOT I2=1, NOT I1=1, ale AND z 0 daje Q1=0, Q2=0.
- 10 → Q1 = 1 AND 1 = 1, Q2 = 0 AND 0 = 0 → (1,0).
- 01 → Q1 = 0 AND 0 = 0, Q2 = 1 AND 1 = 1 → (0,1).
- 11 → NOT I2=0 i NOT I1=0, więc oba AND mają na jednym wejściu 0 → (0,0).
Wynika z tego, że możliwe są stany wyjść: (0,0), (1,0), (0,1), a jedyny stan, który nie pojawi się nigdy, to (1,1).
Dlaczego pozostałe odpowiedzi są błędne? Każda z nich odpowiada jednemu z możliwych przypadków wejść (np. 10 daje (1,0), a 01 daje (0,1)). Odpowiedź (0,0) także jest możliwa (np. dla 00 albo 11), więc nie może być wskazana jako "nigdy nie wystąpi".