W zadaniach tego typu analizuje się możliwe kombinacje stanów wyjść na podstawie zależności logicznych widocznych w programie (na rysunku). Jeżeli program zawiera blokadę wzajemną (interlock) między Q1 i Q2, to logika jest skonstruowana tak, aby nie dopuścić do równoczesnego wysterowania obu wyjść.
Dlatego odpowiedź "Q1=1 i Q2=1" jest wskazana jako stan niemożliwy: aby oba wyjścia były w stanie 1, musiałyby jednocześnie być spełnione warunki ich załączenia. W układzie z wykluczaniem wzajemnym spełnienie warunku dla Q1 zwykle zawiera wymóg "Q2=0" (lub warunek równoważny), a spełnienie warunku dla Q2 zawiera wymóg "Q1=0". Tych wymagań nie da się spełnić jednocześnie, więc kombinacja (1,1) nie może wystąpić.
Pozostałe odpowiedzi są traktowane jako możliwe, ponieważ:
- "Q1=0 i Q2=0" może pojawić się, gdy żaden warunek załączenia nie jest spełniony (np. brak sygnału start, brak zezwolenia, stan spoczynkowy).
- "Q1=1 i Q2=0" jest typowym skutkiem spełnienia warunku dla Q1 przy niespełnionym warunku dla Q2 lub przy aktywnej blokadzie Q2.
- "Q1=0 i Q2=1" analogicznie wynika ze spełnienia warunku dla Q2 przy niespełnionym warunku dla Q1 lub przy aktywnej blokadzie Q1.
Wskazówka egzaminacyjna: aby nie popełnić błędu, prześledź osobno logikę wysterowania Q1 i Q2, a potem sprawdź, czy w warunkach występują zależności typu "NOT Q2" lub "NOT Q1", albo inne formy blokady (np. wzajemne zezwolenia). To najszybszy sposób rozpoznania stanu niemożliwego.
