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