o XOR) es una conectiva lógica (u operador) que da como resultado TRUE (V) si y sólo si las entradas son diferentes entre sí. Si las entradas son iguales (V-V o F-F) devuelve FALSE (F). El operador lógico se indica con el símbolo prefijo J, y con los operadores infijos XOR, EOR, EXOR, ⊻, ⊕, ↮, y ≢.