Tabela prawdy opisuje zależność między wejściami A, B a wyjściem Y dla danego układu logicznego. Aby rozpoznać bramkę, porównuje się wyniki dla wszystkich kombinacji wejść.
Dla bramki OR (suma logiczna) obowiązuje zasada: wyjście jest równe 1, gdy co najmniej jedno z wejść ma wartość 1. Jedyny przypadek, w którym OR daje 0, to sytuacja, gdy oba wejścia są 0. W podanej tabeli dokładnie tak jest: dla A=0 i B=0 otrzymujemy Y=0, natomiast dla 0/1, 1/0 oraz 1/1 wyjście wynosi 1. To jednoznacznie wskazuje na bramkę OR.
Dlaczego pozostałe odpowiedzi nie pasują?
- AND (koniunkcja) daje 1 tylko wtedy, gdy oba wejścia są 1. Wtedy wiersze 0/1 i 1/0 powinny dawać 0, a tutaj dają 1.
- NOT (negacja) jest operacją jednoargumentową (ma jedno wejście). Przy dwóch wejściach A i B nie opisuje poprawnie takiej tabeli bez dodatkowych założeń.
- XOR (alternatywa wykluczająca) daje 1, gdy wejścia są różne, ale dla 1/1 daje 0. W tabeli dla 1/1 jest 1, więc to nie XOR.
W praktyce (np. w układach sterowania i sygnalizacji) OR odpowiada sytuacji typu "warunek A lub warunek B": alarm może się włączyć, jeśli zadziała którykolwiek z dwóch czujników, a niekoniecznie oba naraz.