A digital circuit that compares two binary values and produces an output based on their relationship.