Tabela prawdy opisuje zależność wyjścia Y od wejść A i B. Aby rozpoznać bramkę, porównuje się wszystkie wiersze tabeli z definicjami podstawowych funkcji logicznych.
W podanej tabeli:
- dla A=0, B=0 otrzymujemy Y=0,
- dla A=0, B=1 otrzymujemy Y=1,
- dla A=1, B=0 otrzymujemy Y=1,
- dla A=1, B=1 otrzymujemy Y=1.
To oznacza, że wyjście jest równe 1 zawsze wtedy, gdy co najmniej jedno z wejść ma wartość 1. Jest to dokładnie definicja bramki OR (alternatywy logicznej): Y=1, gdy A=1 lub B=1 (w sensie logicznym), a Y=0 tylko wtedy, gdy oba wejścia są równe 0.
Dlaczego pozostałe odpowiedzi są błędne?
- AND (koniunkcja) daje Y=1 wyłącznie dla A=1 i B=1. W tej tabeli Y=1 występuje także dla 0/1 i 1/0, więc to nie może być AND.
- NOT to negacja pojedynczego sygnału (ma jedno wejście). Tabela ma dwa wejścia (A i B), więc nie opisuje bramki NOT.
- XOR (różnica symetryczna) daje Y=1 tylko wtedy, gdy wejścia są różne. Dla A=1 i B=1 XOR powinno dać 0, a w tabeli jest 1, więc to nie jest XOR.
Na egzaminie najpewniejsza metoda to sprawdzenie wiersza "krytycznego" dla XOR i AND, czyli A=1, B=1: jeśli Y=1, odpada XOR; jeśli Y=1 także dla 0/1 i 1/0, odpada AND. Wtedy pozostaje OR.