Concurso:
TRANSPETRO
Disciplina:
Raciocínio Lógico
Dados os conectivos 
que representam, respectivamente, as operações de negação, conjunção e disjunção da lógica clássica, a operação de ou exclusivo (xor) entre duas fórmulas a e b pode ser definida pela seguinte fórmula:
