(logic circuits) A Boolean Procedure that's legitimate once the two input variables are unique but is normally Bogus; the XOR operation ( 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 first two situations