(logic circuits) A Boolean Procedure that's real when the two enter variables are diverse but is normally Bogus; the XOR Procedure ( A B ¯ + A ¯ B displaystyle scriptstyle A overline B + overline A B And therein I feel I'm able to lay my finger upon the difference between the seamen of yesterday, who remain with us, plus the seamen of to-morrow,