W schemacie FBD (Function Block Diagram) symbole małych kółek na połączeniach oznaczają operację NOT wykonaną dokładnie w tym punkcie sygnału. Dlatego nie wystarczy "przepisać" nazwy bramki z bloku (AND), tylko trzeba uwzględnić, które sygnały są odwrócone.
W przedstawionym układzie:
- wejście %I0.1 ma kółko, więc do bloku AND wchodzi sygnał ~%I0.1,
- wejście %I0.2 nie ma kółka, więc wchodzi %I0.2,
- wyjście ma kółko, więc wynik działania AND jest jeszcze raz zanegowany.
Zatem równanie "wprost ze schematu" (przed uproszczeniem) ma postać: %Q0.1 = ~(~%I0.1 ˄ %I0.2).
Następnie stosuje się prawo De Morgana: ~(A ˄ B) = ~A ˅ ~B. Podstawiając A = ~%I0.1 oraz B = %I0.2 dostajemy: ~(~%I0.1 ˄ %I0.2) = ~(~%I0.1) ˅ ~(%I0.2). Pojawia się podwójna negacja ~(~%I0.1), która upraszcza się do %I0.1. Ostatecznie: %Q0.1 = %I0.1 ˅ ~%I0.2.
Pozostałe odpowiedzi są błędne, bo zakładają negację obu wejść, brak negacji wyjścia albo inną strukturę logiczną niż wynika z położenia kółek. Typowa pułapka egzaminacyjna polega na pominięciu negacji na wyjściu lub na błędnym "intuicyjnym" wniosku, że skoro w środku jest AND, to wynik też musi być AND.