Операция отрицания эквивалентности (non-identity operation) — булева операция, результат которой имеет булево значение 1 в том и только том случае, если все операнды представляют собой разные булевы значения.
[ГОСТ 33707-2016. (ISO/IEC 2382:2015) Информационные технологии (ИТ). Словарь]