• доказать справедливость равенства a<->b=(¬avb)∧(av¬b)

Ответы 1

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

Войти через Google

или

Забыли пароль?

У меня нет аккаунта, я хочу Зарегистрироваться

How much to ban the user?
1 hour 1 day 100 years