W języku drabinkowym (LAD) interpretacja połączeń jest bezpośrednio logiczna:
- połączenie szeregowe styków odpowiada operacji AND (koniunkcji),
- połączenie równoległe gałęzi odpowiada operacji OR (alternatywie),
- styk NC (normalnie zamknięty) realizuje negację zmiennej (NOT), czyli /I0.0.
W rozpatrywanym programie wyjście Q0.0 jest zasilane przez dwie gałęzie równoległe:
- gałąź górna: /I0.0 AND I0.1,
- gałąź dolna: I0.0 AND I0.1.
Całość daje funkcję:
Q0.0 = (/I0.0 ∧ I0.1) ∨ (I0.0 ∧ I0.1).
Stosujemy prawo rozdzielności (wyłączenie wspólnego czynnika I0.1):
Q0.0 = I0.1 ∧ (/I0.0 ∨ I0.0).
Następnie wykorzystujemy prawo wyłączonego środka: (/X ∨ X) = 1. Zatem:
Q0.0 = I0.1 ∧ 1 = I0.1.
To oznacza, że cały złożony szczebel jest logicznie równoważny pojedynczemu stykowi NO I0.1 sterującemu cewką Q0.0, czyli odpowiedzi D.
Dlaczego pozostałe odpowiedzi są błędne?
- A (NC I0.0): dawałaby Q0.0=/I0.0, czyli zależność od I0.0, a tu wynik nie zależy od I0.0.
- B (NO I0.0): dawałaby Q0.0=I0.0, również zależność od I0.0, której nie ma po uproszczeniu.
- C (NC I0.1): dawałaby Q0.0=/I0.1, czyli negację, a z funkcji wynika wprost Q0.0=I0.1.
Wskazówka egzaminacyjna: gdy widzisz dwie gałęzie z tym samym sygnałem (tu I0.1) w szeregu, spróbuj go "wyłączyć przed nawias", a następnie sprawdź, czy w nawiasie nie pojawia się postać X ∨ /X, która upraszcza się do 1.