Отправляет email-рассылки с помощью сервиса Sendsay
  Все выпуски  

RFpro.ru: Консультации по математике


РАССЫЛКИ ПОРТАЛА RFPRO.RU

Лучшие эксперты в разделе

Михаил Александров
Статус: Специалист
Рейтинг: 741
∙ повысить рейтинг »
epimkin
Статус: Практикант
Рейтинг: 622
∙ повысить рейтинг »
kovalenina
Статус: 5-й класс
Рейтинг: 454
∙ повысить рейтинг »

∙ Математика

Номер выпуска:2422
Дата выхода:09.02.2019, 18:45
Администратор рассылки:Лысков Игорь Витальевич (Старший модератор)
Подписчиков / экспертов:93 / 87
Вопросов / ответов:1 / 1

Консультация # 194582: Здравствуйте! У меня возникли сложности с таким вопросом:Как доказать выражение в прямом и обратном порядке? выражение следующее: ¬((X→Y)∨(¬Y→Z))≡((X&¬Y)&¬Z) или можно посмотреть в прикрепленном файле. ...

Консультация # 194582:

Здравствуйте! У меня возникли сложности с таким вопросом:Как доказать выражение в прямом и обратном порядке? выражение следующее: ¬((X→Y)∨(¬Y→Z))≡((X&¬Y)&¬Z) или можно посмотреть в прикрепленном файле.

Дата отправки: 03.02.2019, 20:57
Вопрос задал: svitalij1983 (Посетитель)
Всего ответов: 1
Страница онлайн-консультации »


Консультирует Гордиенко Андрей Владимирович (Модератор):

Здравствуйте, svitalij1983!

Доказательство в прямом порядке можно выполнить так:

¬((X→Y)∨(¬Y→Z))≡

(по закону де Моргана)

≡(X→Y)∧(¬(¬Y→Z))≡

(замена импликации дизъюнкцией)

≡(¬(¬VY))∧(¬(¬¬Y∨Z))≡

(по закону двойного отрицания)

≡(¬(¬X∨Y))∧(¬(Y∨Z))≡

(по закону де Моргана)

(¬X∨¬Y)∧(¬Y∨¬Z)≡

(по закону двойного отрицания)

≡(X∧¬Y)∧(¬Y∧¬Z)≡

(по закону ассоциативности конъюнкции)

≡X∧¬Y∧¬Y∧¬Z≡

(по закону идемпотентности конъюнкции)

≡X∧¬Y∧¬Z≡

(по закону ассоциативности конъюнкции)

≡(X∧¬Y)∧¬Z.

В результате тождественных преобразований из левой части выражения получена правая часть.

Доказательство в обратном порядке можно выполнить, применив указанные преобразования "снизу вверх".

Консультировал: Гордиенко Андрей Владимирович (Модератор)
Дата отправки: 06.02.2019, 21:01

5
Отлично справились!!!!
-----
Дата оценки: 06.02.2019, 21:04

Рейтинг ответа:

НЕ одобряю 0 одобряю!


Оценить выпуск | Задать вопрос экспертам

главная страница  |  стать участником  |  получить консультацию
техническая поддержка

Дорогой читатель!
Команда портала RFPRO.RU благодарит Вас за то, что Вы пользуетесь нашими услугами. Вы только что прочли очередной выпуск рассылки. Мы старались. Пожалуйста, оцените его. Если совет помог Вам, если Вам понравился ответ, Вы можете поблагодарить автора - для этого в каждом ответе есть специальные ссылки. Вы можете оставить отзыв о работе портале. Нам очень важно знать Ваше мнение. Вы можете поближе познакомиться с жизнью портала, посетив наш форум, почитав журнал, который издают наши эксперты. Если у Вас есть желание помочь людям, поделиться своими знаниями, Вы можете зарегистрироваться экспертом. Заходите - у нас интересно!
МЫ РАБОТАЕМ ДЛЯ ВАС!


В избранное