Na falta do operador XOR (disjunção exclusiva), a expressão lógica
a xor b
pode ser expressa como:
(a and not b) or (not a and b)
a or b
not (a and b) or not (a or b)
not (a or b)
not a and not b
