W języku FBD działanie wyjść można opisać równaniami logicznymi wynikającymi bezpośrednio z połączeń bramek. W analizowanym układzie sygnał Q (wyjście licznika CTU) trafia do bramki AND oraz do bramki OR, przy czym na wejściu OR jest negacja (czyli używany jest sygnał NOT Q). Sygnał B2 jest drugim wejściem zarówno AND, jak i OR.
Z tego wynika:
- Y1 = Q AND B2 – wyjście Y1 jest równe 1 tylko wtedy, gdy jednocześnie Q=1 oraz B2=1.
- Y2 = (NOT Q) OR B2 – wyjście Y2 jest równe 1, gdy spełniony jest przynajmniej jeden z warunków: NOT Q=1 (czyli Q=0) albo B2=1.
Aby sprawdzić możliwość równoczesnego zadziałania Y1 i Y2, wystarczy przeanalizować kluczowe kombinacje Q i B2 (tablica prawdy):
- Q=0, B2=0: Y1=0 AND 0=0; Y2=1 OR 0=1.
- Q=0, B2=1: Y1=0 AND 1=0; Y2=1 OR 1=1.
- Q=1, B2=0: Y1=1 AND 0=0; Y2=0 OR 0=0.
- Q=1, B2=1: Y1=1 AND 1=1; Y2=0 OR 1=1.
W ostatnim przypadku oba wyjścia mają stan 1, więc Y1 i Y2 mogą zadziałać jednocześnie. To jest typowa pułapka: obecność negacji na jednym wejściu bramki OR nie oznacza, że wyjścia będą się "zawsze wykluczać". Jeśli drugie wejście OR (tu: B2) przyjmie stan 1, to wyjście OR będzie 1 niezależnie od stanu NOT Q.
Dlaczego pozostałe odpowiedzi są błędne?
- "Kiedy działa Y2, to nie działa Y1" – fałsz, bo dla Q=1 i B2=1 oba działają.
- "Kiedy działa Y1, to nie działa Y2" – fałsz, bo działanie Y1 wymaga Q=1 i B2=1, a wtedy Y2 też jest 1 (bo B2=1).
- "Nie mogą zadziałać jednocześnie" – fałsz, bo wykazano konkretny stan wejść, w którym działają równocześnie.
Wskazówka egzaminacyjna: przy pytaniach o współwystępowanie stanów wyjść zawsze szukaj "wspólnego" warunku, który może wymusić 1 w kilku miejscach naraz (tu: B2=1 wpływa na AND i OR).
