С помощью эквиваленции можно показать логическую эквивалентность двух утверждений, проверив, одинаковы ли значения логических переменных. 1
Эквиваленция выдаёт истину, если значения одинаковы (1 и 1, 0 и 0), и ложь, если не одинаковы (1 и 0, 0 и 1). 1
Эквиваленция — логическая операция, которая позволяет из двух данных высказываний A и B получить новое высказывание «A равносильно B». 2
Эквивалентность двух высказываний можно установить, например, с помощью сравнения их таблиц истинности. 2