(logic circuits) A Boolean Procedure that is real once the two input variables are unique but is normally Bogus; the XOR Procedure ( A B ¯ + A ¯ B displaystyle scriptstyle A overline B + overline