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