Wyrażenie y = a + b w algebrze Boole’a jest standardowym zapisem alternatywy logicznej OR (tzw. suma logiczna). Oznacza to, że wyjście y przyjmuje stan wysoki (1), gdy spełniony jest warunek: co najmniej jedno z wejść a lub b ma stan 1.
Można to sprawdzić przez tabelę prawdy OR:
- gdy a=0 i b=0, wtedy y=0 (brak aktywnego wejścia)
- gdy a=1 i b=0, wtedy y=1
- gdy a=0 i b=1, wtedy y=1
- gdy a=1 i b=1, wtedy y=1
Dlatego poprawna odpowiedź to taki schemat/układ, który realizuje zasadę "wyjście aktywne, gdy aktywne jest dowolne wejście". W praktyce często obrazuje się to analogią do dwóch przełączników połączonych równolegle: zamknięcie któregokolwiek toru powoduje pojawienie się sygnału na wyjściu.
Pozostałe propozycje są niepoprawne, jeżeli odpowiadają innym funkcjom:
- Układ typu AND (koniunkcja) dawałby 1 dopiero przy jednoczesnym a=1 i b=1, więc nie spełnia y=a+b.
- Układ z negacją (NOT) zmieniałby stan logiczny (0↔1) i nie zachowywałby się jak OR.
- Układ typu XOR dawałby 1 tylko wtedy, gdy dokładnie jedno wejście jest 1, a dla a=1 i b=1 dawałby 0, co przeczy OR.
W zadaniach egzaminacyjnych najpewniejszą metodą jest szybkie porównanie działania schematu z tabelą prawdy: sprawdź przypadki (1,0) i (0,1). Jeżeli dla obu wynik to 1, masz kandydat na OR.
