Nagyság-komparátornak nevezzük azt az áramkört, amely két bináris számot hasonlít össze, és kimenetein jelzi a számok közötti relációkat (egyenlő, kisebb, nagyobb).
Az összehasonlítás az összetartozó - azonos nagyságrend – bit-párok relációjának megállapításán alapul.
Két bit (A és B) egyenlőségét az
logikai függvény (equivalencia) írja le.
Az áramkör logikai vázlata az a. ábrán látható, amely a kizáró-vagy tagadása.