Полный англо-русский словарь
Логический элемент неэквивалентности, логический элемент неравнозначности; логический элемент разноименности схема функции разноименности