(logic circuits) A Boolean Procedure that's genuine once the two enter variables are distinct but is or else Untrue; the XOR operation ( A B ¯ + A ¯ B displaystyle scriptstyle A overline B + overline A B " We determine the "engraphic effect" of the stimulus as the result in creating a difference between the key and secondary indifference-states,