Wymaganie, aby BIT_Q miało wartość 1 wtedy i tylko wtedy, gdy BIT_A i BIT_B są sobie równe, oznacza, że wyjście ma sygnalizować zgodność dwóch stanów logicznych.
Dla dwóch bitów "równe" zachodzi w dwóch przypadkach:
- BIT_A=0 i BIT_B=0 → wyjście ma być 1
- BIT_A=1 i BIT_B=1 → wyjście ma być 1
Natomiast gdy bity są różne:
- BIT_A=0 i BIT_B=1 → wyjście ma być 0
- BIT_A=1 i BIT_B=0 → wyjście ma być 0
Taka tabela prawdy odpowiada równoważności logicznej (często nazywanej XNOR) albo blokowi porównania równości (np. "==", "EQ", "EQUAL" – zależnie od środowiska PLC).
Dlatego poprawny jest symbol odpowiadający blokowi, który zwraca 1 przy zgodnych wejściach i 0 przy niezgodnych. Dla porównania: blok XOR daje 1 wtedy, gdy wejścia są różne, więc realizuje dokładnie odwrotny warunek i byłby częstą pułapką egzaminacyjną.
Pozostałe symbole są niepoprawne, jeśli reprezentują operacje takie jak AND/OR (wymagają jednoczesnej jedynki lub co najmniej jednej jedynki) albo XOR (różność), ponieważ nie odtwarzają relacji "równe ↔ 1" dla obu kombinacji 0/0 i 1/1.