A logic gate that produces a low output if its inputs are different, and a high output if they are the same.