Образуется соединением двух логических выражений с помощью оборотов «тогда и только тогда», «необходимо и достаточно», «...равносильно...». Поскольку мы видим здесь двойное следование (и вправо и влево), операцию иногда называют двойной импликацией. Дополнительная операция, так как A ↔ B = (A \/ 
) & ( 
\/ B)
Суть: эквивалентность ложна только тогда, когда выражения разные.
Тождественно истинные, тождественно ложные высказывания. Примеры
Алгебра логики – раздел математики, изучающий высказывания с точки зрения их логических значений (истинности или ложности) и логических операций над ними.
Иногда её называют двоичной логикой или булевой алгеброй по имени английского математика Джорджа Буля.
Для удобства записи, используют обозначение результата через F, а логические высказывания через A (X) и B (Y). Так как возможных вариантов значений всего два, их можно обозначить через 0 (ложь, нет, false, no) и 1 (истина, да, true, yes).
Таблица истинности – табличное представление логической схемы (операции), в котором перечислены все возможные сочетания значений истинности входных сигналов (операндов) вместе со значением истинности выходного сигнала (результата операции) для каждого из этих сочетаний.
