A logic circuit that produces a binary output signal of 1 if its two binary input signals are the same, and an output signal of 0 if the input signals differ. Also known as biconditional gate; equality gate; equivalence element; exclusive-NOR gate; match gate.