Opis "Y=1 tylko wtedy, gdy A ≠ B" oznacza, że wyjście ma przyjąć stan wysoki wyłącznie wtedy, gdy stany na wejściach są różne. Dla sygnałów binarnych są to dokładnie dwie sytuacje: A=0 i B=1 albo A=1 i B=0. Gdy wejścia są takie same (00 lub 11), wyjście ma być równe 0.
Taka zależność jest klasyczną definicją funkcji alternatywy wykluczającej, czyli bramki XOR. W praktyce spotyka się ją m.in. w układach wykrywania różnicy dwóch sygnałów, w prostych generatorach/parzystości oraz w logice sterowania, gdy trzeba wykonać akcję tylko przy rozbieżności wskazań.
Dlaczego pozostałe typowe bramki nie pasują do warunku A ≠ B?
- AND daje 1 tylko dla 11, więc nie spełnia wymagania, bo dla 10 i 01 miałaby 0.
- OR daje 1 dla 01, 10 i 11, czyli byłaby 1 także wtedy, gdy A=B=1 (a to jest sprzeczne z A ≠ B).
- XNOR (równoważność) działa odwrotnie: daje 1, gdy A=B (00 lub 11), więc jest zaprzeczeniem wymaganego zachowania.
Na schemacie układu cyfrowego należy więc wybrać symbol graficzny odpowiadający bramce XOR (alternatywa wykluczająca).
