04.07.2020, 19:09 [+3 UTC]
в нашей команде: 4 660 чел. | участники онлайн: 1 (рекорд: 21)

:: РЕГИСТРАЦИЯ

задать вопрос

все разделы

правила

новости

участники

доска почёта

форум

блоги

поиск

статистика

наш журнал

наши встречи

наша галерея

отзывы о нас

поддержка

руководство

Версия системы:
7.89 (25.04.2020)
JS-v.1.45 | CSS-v.3.39

Общие новости:
13.04.2020, 00:02

Форум:
27.06.2020, 09:37

Последний вопрос:
04.07.2020, 17:23
Всего: 152714

Последний ответ:
03.07.2020, 11:04
Всего: 260319

Последняя рассылка:
04.07.2020, 11:45

Писем в очереди:
0

Мы в соцсетях:

Наша кнопка:

RFpro.ru - здесь вам помогут!

Отзывы о нас:
02.09.2019, 10:12 »
dar777
Это самое лучшее решение! [вопрос № 196272, ответ № 278633]
22.05.2010, 13:17 »
Гулин Вячеслав Николаевич
Вот это я понимаю исчерпывающий ответ !!! [вопрос № 178527, ответ № 261568]
15.12.2009, 09:52 »
Прим Палвер
Спасибо! Буду теперь почаще искать, что за команды существуют для командной строки. [вопрос № 175246, ответ № 257715]

РАЗДЕЛ • Математика

Консультации и решение задач по алгебре, геометрии, анализу, дискретной математике.

[администратор рассылки: Коцюрбенко Алексей Владимирович (Старший модератор)]

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

Коцюрбенко Алексей Владимирович
Статус: Старший модератор
Рейтинг: 1154
Konstantin Shvetski
Статус: Академик
Рейтинг: 493
Roman Chaplinsky / Химик CH
Статус: Модератор
Рейтинг: 170

Перейти к консультации №:
 

Консультация онлайн # 194582
Раздел: • Математика
Автор вопроса: svitalij1983 (Посетитель)
Отправлена: 03.02.2019, 20:57
Поступило ответов: 1

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

Последнее редактирование 03.02.2019, 22:50 Roman Chaplinsky / Химик CH (Модератор)

-----
 Прикрепленный файл: скачать (DOCX) » [11.4 кб]

Состояние: Консультация закрыта

Здравствуйте, 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

[подробно]

Сообщение
модераторам

Отправлять сообщения
модераторам могут
только участники портала.
ВОЙТИ НА ПОРТАЛ »
регистрация »

Возможность оставлять сообщения в мини-форумах консультаций доступна только после входа в систему.
Воспользуйтесь кнопкой входа вверху страницы, если Вы зарегистрированы или пройдите простую процедуру регистрации на Портале.

Rambler's Top100

главная страница | поддержка | задать вопрос

Время генерирования страницы: 0.14465 сек.

© 2001-2020, Портал RFPRO.RU, Россия
Калашников О.А.  |  Гладенюк А.Г.
Версия системы: 7.89 от 25.04.2020
Версия JS: 1.45 | Версия CSS: 3.39