o XOR) es un conectivo lógico (u operador) que devuelve VERDADERO (V) como salida si y solo si las entradas son diferentes entre sí. Si las entradas son iguales (VV o FF) devuelve FALSO (F). El operador lógico se indica con el símbolo de prefijo J y con los operadores de infijo XOR, EOR, EXOR, ⊻, ⊕, ↮ y ≢.