Доказать справедливость равенства a<->b = (¬avb)∧(av¬b)
39
ОТВЕТЫ
По свойствам:
Эквиваленция раскрывается как конъюнкция импликаций (A-gt;B)^(B-gt;A)
Импликация раскрывается, как (¬А v B)
Тогда раскрываем левую часть:
Alt;-gt;B = (A-gt;B)^(B-gt;A)
Теперь раскрываем импликации:
(A-gt;B)^(B-gt;A) = (¬AvB)^(¬BvA).
Получается, что левая часть равна правой части.
Эквиваленция раскрывается как конъюнкция импликаций (A-gt;B)^(B-gt;A)
Импликация раскрывается, как (¬А v B)
Тогда раскрываем левую часть:
Alt;-gt;B = (A-gt;B)^(B-gt;A)
Теперь раскрываем импликации:
(A-gt;B)^(B-gt;A) = (¬AvB)^(¬BvA).
Получается, что левая часть равна правой части.
22
Отв. дан
Владлена
Для написания вопросов и ответов необходимо зарегистрироваться на сайте
Другие вопросы в разделе - Русский язык
Tholore
Условие или таблица в задаче 193 (пешеход и велосипедист) ...
2018-09-23 00:00:00
Bealhala
Дополни задачи и реши их. Кате 10 лет. На ...
2018-09-23 00:00:00
Burikus
Решите систему неравенств
6х-24>0
-2х+12<0 ...
2018-09-23 00:00:00
Анастасия
Перед домом построили забор.Забор держится на 16 столбах расстояние ...
2018-09-23 00:00:00