Wyrażenie "Y=1 tylko wtedy, gdy A=B" opisuje funkcję logiczną, w której wynik jest równy 1, gdy oba wejścia mają ten sam stan logiczny. To dokładnie definicja bramki równoważności, nazywanej też XNOR (exclusive NOR), czyli negacji bramki XOR.
Najprościej potwierdzić to tablicą prawdy:
- gdy A=0 i B=0, to A=B, więc Y=1
- gdy A=0 i B=1, to A≠B, więc Y=0
- gdy A=1 i B=0, to A≠B, więc Y=0
- gdy A=1 i B=1, to A=B, więc Y=1
Z tego wynika, że poprawnym wyborem jest symbol bramki, który odpowiada funkcji "zgodność" (XNOR). W praktyce na schematach XNOR bywa przedstawiana jako symbol XOR z dodatkowym kółkiem (negacją) na wyjściu, ponieważ XNOR = NOT(XOR). Właśnie ta relacja jest typowym źródłem pomyłek.
Dlaczego pozostałe odpowiedzi mogą kusić, ale są błędne?
- Symbol XOR: daje 1, gdy wejścia są różne, czyli realizuje A≠B, a nie A=B.
- Symbol AND: daje 1 tylko dla (1,1), więc nie spełnia warunku (0,0) → 1.
- Symbol OR: daje 1 dla (0,1), (1,0), (1,1), więc nie spełnia warunku zgodności i dodatkowo błędnie daje 1 przy różnicy.
Wskazówka egzaminacyjna: gdy w treści pojawia się równość "A=B", zawsze sprawdź oba przypadki zgodności: 1=1 i 0=0. Jeśli oba mają dawać 1, myśl o XNOR (równoważności), a nie o AND.
