W diagramach FBD (Function Block Diagram) używanych w programowaniu sterowników, symbole mają precyzyjne znaczenie. Znak "&" wewnątrz bloku oznacza operację AND (koniunkcję). Z kolei małe kółko narysowane na wejściu lub wyjściu informuje, że dany sygnał jest zanegowany (operacja NOT).
Jeżeli na obu wejściach bloku AND występują kółka, to do bramki trafiają sygnały zanegowane. Otrzymujemy więc funkcję:
Y = (NOT I0.2) AND (NOT I0.3)
Taka postać bywa myląca, bo "na pierwszy rzut oka" widać AND, jednak kluczowe są negacje na wejściach. Aby rozpoznać nazwę klasycznej bramki odpowiadającej tej funkcji, stosuje się prawo De Morgana:
(NOT A) AND (NOT B) = NOT (A OR B)
Po podstawieniu A = I0.2 oraz B = I0.3 dostajemy:
Y = NOT (I0.2 OR I0.3)
To dokładnie definicja bramki NOR (zaprzeczona suma logiczna): wyjście jest w stanie 1 tylko wtedy, gdy oba wejścia są w stanie 0.
Dlaczego pozostałe odpowiedzi są błędne?
- OR byłoby poprawne, gdyby blok realizował sumę logiczną bez negacji, a tu wynik jest negacją OR.
- AND pomija kółka negacji; czyste AND dawałoby 1 przy I0.2=1 i I0.3=1, a tu 1 pojawia się przy obu zerach.
- NOT dotyczy negacji pojedynczego sygnału; w zadaniu przekształcane są dwa wejścia i operacja łącząca je.
W praktyce PLC taki zapis jest częsty: zamiast osobnej bramki NOR można użyć AND z zanegowanymi wejściami, zachowując tę samą logikę działania.
