An electronic logic gate whose output indicates whether a logical
relationship is either true or false. The following are examples: an equality
comparator, indicating when two binary numbers are equal; an odd parity
checker, indicating when a binary input has an odd number of ones; a
element, indicating when the binary inputs have more 1 entries than 0 entries.