def logical_xor(a, b): return iff(ibool(a), logical_not(ibool(b)), ibool(b))
def logical_xor(a, b): return iff(a, logical_not(b), b)