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

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

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

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

 

Синонимы:

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

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

aba↔b
001
010
100
111

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

 

Унарные:

Бинарные

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


Наши друзья

Качественное решение задач курсовых работ, РГЗ по техническим предметам.
botaniks.ru

Это интересно...

Наши контакты

Рейтинг@Mail.ru

© 2009-2017, Список Литературы