Что такое таблица истинности для эквиваленции?

Таблица истинности для эквиваленции — это математическая таблица, используемая для определения функционирования логической операции эквивалентности в булевой алгебре 12.

Она указывает, какие значения принимает составное высказывание при всех возможных значениях образующих его элементарных высказываний 2.

Эквиваленция проверяет, одинаковы ли значения логических переменных, и выдаёт истину, если одинаковы (1 и 1, 0 и 0), и ложь, если не одинаковы (1 и 0, 0 и 1) 3.

В разговорной речи эквивалентности соответствует связка «тогда и только тогда, когда», а в математике — «необходимо и достаточно» 2.