Информатика, опубликовано 2018-08-22 21:33:08 by Гость
Доказать справедливость равенства ab=(¬avb)∧(av¬b)
Ответ оставил Гость
По свойствам:
Эквиваленция раскрывается как конъюнкция импликаций (A->B)^(B->A)
Импликация раскрывается, как (¬А v B)
Тогда раскрываем левую часть:
AB = (A->B)^(B->A)
Теперь раскрываем импликации:
(A->B)^(B->A) = (¬AvB)^(¬BvA).
Получается, что левая часть равна правой части.
Не нашли ответа?
Если вы не нашли ответа на свой вопрос, или сомневаетесь в его правильности, то можете воспользоваться формой ниже и уточнить решение. Или воспользуйтесь формой поиска и найдите похожие ответы по предмету Информатика.