Таблица истинности эквиваленции (логическое РАВНО)

Эквивале́нция (эквивале́нтность) — бинарная логическая операция.

Эквивалентностью двух высказываний a и b («тогда и только тогда») называется новое высказывание, которое будет истинно (true, 1), если высказывания a и b будут одновременно истинны (true, 1) или ложны (false, 0), то есть одинаковы.

Эквивалентность обозначается символом ≡ или ↔.

Синонимы:

• a то же самое, что b,
• a эквивалентно b,
• a тогда и только тогда, когда b.

Значения функции эквиваленции для двух операндов представлены в таблице:

К логическим операциям так же относятся:

Унарные:

• Отрицание

Бинарные

• Дизъюнкция
• Конъюнкция
• Исключающее ИЛИ
• Стрелка Пирса
• Штрих Шеффера
• Импликация
• Обратная импликация
• Эквиваленция

Чтобы построить таблицу истинности онлайн по заданной формуле или вектору вы можете воспользоваться нашим сервисом, который кроме того так же вычисляет СКНФ, СДНФ, строит полином Жегалкина. Результат работы можно скачать в формате rtf, который открывается любым текстовым редактором (MS Word, Open Office Write и т.д.)