Exemplo n.º 1
0
def logical_xor(a, b):
    return iff(ibool(a), logical_not(ibool(b)), ibool(b))
Exemplo n.º 2
0
def logical_xor(a, b):
    return iff(a, logical_not(b), b)
Exemplo n.º 3
0
def logical_xor(a, b):
    return iff(a, logical_not(b), b)
Exemplo n.º 4
0
def logical_xor(a, b):
    return iff(ibool(a), logical_not(ibool(b)), ibool(b))