W języku drabinkowym (LD) połączenia szeregowe odpowiadają operacji AND, a połączenia równoległe odpowiadają operacji OR. Dodatkowo:
- styk NC przewodzi, gdy sygnał wejściowy ma wartość 0 (czyli realizuje logiczne NOT wejścia),
- styk NO przewodzi, gdy sygnał wejściowy ma wartość 1.
Na rysunku są dwie gałęzie równoległe:
- Górna gałąź: dwa styki NC w szeregu (%I0.0 oraz %I0.1). Taki tor jest spełniony, gdy %I0.0=0 i %I0.1=0, czyli odpowiada wyrażeniu NOT A AND NOT B.
- Dolna gałąź: dwa styki NO w szeregu (%I0.1 oraz %I0.0). Ten tor jest spełniony, gdy %I0.0=1 i %I0.1=1, czyli odpowiada wyrażeniu A AND B.
Połączenie równoległe tych gałęzi daje sumę logiczną: (NOT A AND NOT B) OR (A AND B). To jest definicja funkcji XNOR (równoważność): wynik jest 1, gdy wejścia są sobie równe.
Kluczowy element znajduje się na końcu szczebla: cewka wyjściowa %Q0.0 ma symbol (/), czyli jest to cewka zanegowana. Taka cewka nie przepisuje stanu 1:1, lecz wykonuje negację sygnału sterującego. Oznacza to, że na wyjściu otrzymujemy:
Q = NOT( XNOR(A,B) ), a więc Q = XOR(A,B).
Dlatego poprawna jest odpowiedź "XOR": wyjście ma wartość 1 wtedy i tylko wtedy, gdy %I0.0 i %I0.1 mają różne stany.
Pozostałe odpowiedzi są błędne z następujących powodów:
- "XNOR" opisuje wynik samych gałęzi styków, ale nie uwzględnia negacji na cewce, więc nie odpowiada stanowi %Q0.0.
- "NOR" to negacja OR, czyli 1 tylko dla (0,0). Układ ma dodatkowo gałąź dla (1,1) i nie jest prostym OR z negacją.
- "NAND" to negacja AND, czyli 0 tylko dla (1,1). Tutaj po stykach przed negacją byłaby 1 także dla (0,0), a po negacji 0 dla (0,0) i (1,1), więc to inna funkcja.
Wskazówka egzaminacyjna: zawsze sprawdzaj, czy cewka jest zwykła, czy zanegowana, i dopiero potem przypisz nazwę funkcji logicznej do wyjścia.