Информатика

Всё о сервере, форум!
Основы программирования
ИНФОРМАЦИОННО-РАЗВЛЕКАТЕЛЬНЫЙ ПОРТАЛ

ИНФОРМАТИКА: ЕГЭ, ТЕОРИЯ, ПРАКТИКА, ТЕСТЫ

Информатика :: Теория :: Алгебра логики
Эквивалентность

Эквивалентность — это функция тождества.
Она обозначается символами ≡ или <=>. Выбираем обозначение А ≡ В. («тогда и только тогда»).
Запись А ≡ В читается как «А эквивалентно В».
Пример:
 
Эквивалентность двух высказываний истинна только в тех случаях, когда оба высказывания ложны или оба истинны.
Таблица истинности эквивалентности двух суждений А и В такова:
Таблица истинности. Эквивалентность.
А
В
А ≡ В
0
0
1
0
1
0
1
0
0
1
1
1
В программировании эту операцию обозначают «EQV».


При копировании материала с сайта активная ссылка обязательна!
Сайт управляется SiNG cms © 2010-2015