Эквиваленция (или логическая равнозначность) — это логическое выражение, которое является истинным тогда, когда оба простых логических выражения имеют одинаковую истинность. 23

От других логических операций эквиваленция отличается следующим:

• Выдает истину в случае, если обе исходные переменные истины или неправдивы. 1 Другие логические операции могут выдавать истину в определённых случаях, например, когда все выражения истинны (для конъюнкции) или практически всегда (для дизъюнкции). 5

• Обозначается символом ≡ или ↔. 3 Другие логические операции могут иметь другие обозначения, например, в зависимости от используемой нотации. 2

• Не следует путать эквиваленцию — логическую операцию с логической эквивалентностью высказываний. 3 Связь между ними такова: логические выражения эквивалентны в том и только в том случае, когда эквиваленция истинна при всех значениях логических переменных. 3