(logic circuits) A Boolean Procedure which happens to be real in the event the two input variables are unique but is otherwise Bogus; the XOR Procedure ( A B ¯ + A ¯ B displaystyle scriptstyle A overline B + overline A B These are Dithyrambic and Nomic poetry, in addition to Tragedy and Comedy; but between them the difference is, that in the main