По свойствам: Эквиваленция раскрывается как конъюнкция импликаций (A->B)^(B->A) Импликация раскрывается, как (¬А v B) Тогда раскрываем левую часть: A<->B = (A->B)^(B->A) Теперь раскрываем импликации: (A->B)^(B->A) = (¬AvB)^(¬BvA). Получается, что левая часть равна правой части.
0,0(0 оценок)
Полный доступ
Позволит учиться лучше и быстрее. Неограниченный доступ к базе и ответам от экспертов и ai-bota
Оформи подписку
