Эквиваленция
Практическая работа № 8 «Шифрование»
Таблица истинности, которую вы построили в последнем задании, определяет логическую операцию «эквиваленция» (её также называют «равнозначность» или «логическое равенство»), которая обозначается знаком ↔. Эта операция соответствует связке «тогда и только тогда». Высказывание А ↔ В истинно в том и только в том случае, когда А и В равны (рис. 2.14).
Рис. 2.14
Используя дополнительные источники, выясните, какие знаки кроме ↔также используются для обозначения эквиваленции.
Постройте таблицу истинности логической функции А • В + А • B. Сравните её с таблицами истинности известных вам функций с двумя переменными. Какую формулу вы только что доказали?
Постройте таблицу истинности логической функции (А + B) • (А + В). Сравните её с таблицами истинности известных вам функций с двумя переменными. Какую формулу вы только что доказали?
Постройте таблицу истинности логической функции А • B + А • В. Сравните её с таблицами истинности известных вам функций с двумя переменными. Какую формулу вы только что доказали?
Следующая страница Исключающее ИЛИ