W treści wymagane jest, aby wyjście BIT_Q przyjmowało wartość logiczną 1 wtedy i tylko wtedy, gdy przynajmniej jedna ze zmiennych wejściowych BIT_A lub BIT_B ma wartość 1. To jest klasyczna definicja funkcji OR (alternatywa, suma logiczna) dla dwóch argumentów.
Można to sprawdzić tablicą prawdy OR:
- gdy BIT_A=0 i BIT_B=0, to "przynajmniej jedna = 1" nie zachodzi, więc BIT_Q=0,
- gdy BIT_A=1 i BIT_B=0, warunek zachodzi, więc BIT_Q=1,
- gdy BIT_A=0 i BIT_B=1, warunek zachodzi, więc BIT_Q=1,
- gdy BIT_A=1 i BIT_B=1, warunek nadal zachodzi (co najmniej jedna), więc BIT_Q=1.
W FBD wybiera się więc blok/symbol realizujący funkcję OR dla dwóch wejść. Odpowiedź "Symbol 2." jest poprawna, ponieważ to właśnie ten symbol (z zestawu na ilustracji) odpowiada operacji alternatywy logicznej, czyli daje 1, gdy co najmniej jedno wejście ma 1.
Pozostałe symbole są błędne, bo odpowiadają innym zależnościom:
- symbol odpowiadający AND dawałby 1 tylko wtedy, gdy oba wejścia są równe 1 (to nie spełnia "przynajmniej jedna"),
- symbol NOT neguje sygnał i nie realizuje sumowania dwóch wejść,
- symbol typu XOR dawałby 1 tylko dla różnych stanów (1,0) lub (0,1), ale już nie dla (1,1), co łamie warunek.
Wskazówka egzaminacyjna: sformułowanie "przynajmniej jedno" prawie zawsze kieruje do OR, a "dokładnie jedno" do XOR, natomiast "oba jednocześnie" do AND.
