W schematach FBD (Function Block Diagram) analizę wykonuje się krok po kroku od wejść (%I) do wyjścia (%Q), uwzględniając wszystkie symbole graficzne. Kluczowy jest tu znak negacji: małe kółko na wyjściu bramki oznacza odwrócenie wyniku (NOT). Ostatni blok nie jest więc zwykłą bramką OR, tylko bramką NOR (OR z negacją na wyjściu).
1) Górna gałąź (OR): Do górnej bramki OR, oprócz sygnałów z wejść, doprowadzono stałą logiczną "1". Dla bramki OR zachodzi prawo: 1 OR x = 1. Oznacza to, że wyjście tej bramki będzie zawsze równe 1, niezależnie od stanów %I0.1, %I0.2 i %I0.3.
2) Dolna gałąź (AND): Dolna bramka AND ma również doprowadzoną stałą "1". Tu stała "1" nie wymusza wyniku, a jedynie nie blokuje go (bo 1 AND x = x). Wyjście tej bramki zależy więc od pozostałych wejść, ale to nie zmienia wniosku końcowego, bo ostateczny wynik i tak zostanie zdominowany przez sygnał "1" z górnej gałęzi.
3) Bramka końcowa (NOR): Na wejścia bramki końcowej trafiają wyjścia obu poprzednich bramek. Ponieważ z górnej gałęzi mamy zawsze 1, końcowa bramka OR miałaby stale 1 na wyjściu, ale przez negację działa jako NOR. NOR zwraca 0, gdy którekolwiek wejście jest równe 1. Skoro jedno z wejść jest zawsze 1, to wyjście %Q0.1 jest zawsze 0, bez względu na stany %I0.1, %I0.2 i %I0.3.
- Stwierdzenie, że %Q0.1=0 tylko przy wszystkich wejściach równych 1, jest błędne, bo %Q0.1 nie zależy od tej kombinacji – stała "1" i NOR wymuszają 0 zawsze.
- Stwierdzenie, że %Q0.1=1 bez względu na wejścia, pomija negację na wyjściu ostatniej bramki (mylenie OR z NOR).
- Stwierdzenie, że %Q0.1=1 przy wszystkich wejściach równych 0, nie uwzględnia faktu, że na wejściu układu występuje stała "1", więc końcowa bramka nie może "widzieć samych zer".
Wskazówka egzaminacyjna: zawsze szukaj kółka negacji i sprawdzaj, czy gdzieś w logice nie ma stałej "1" w OR – to bardzo często "ustawia" sygnał niezależnie od czujników.
