Dlaczego tak
EX-OR (alternatywa wykluczająca) daje 1 wtedy, gdy dokładnie jedno wejście ma stan 1, czyli gdy stany są różne; dla dwóch jedynek — w odróżnieniu od OR — daje 0. Z tego powodu stosuje się ją jako komparator jednobitowy i w układach sumatorów. Warunek dla dwóch jedynek jest pułapką zbudowaną na podobieństwie nazw EX-OR i OR.