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