26.04.2019, 13:49 [+3 UTC]
в нашей команде: 3 572 чел. | участники онлайн: 6 (рекорд: 21)

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

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

все разделы

правила

новости

участники

доска почёта

форум

блоги

поиск

статистика

наш журнал

наши встречи

наша галерея

отзывы о нас

поддержка

руководство

Версия системы:
7.74 (12.04.2019)
JS-v.1.33 | CSS-v.3.35

Общие новости:
09.03.2019, 10:08

Форум:
26.04.2019, 10:08

Последний вопрос:
25.04.2019, 17:12
Всего: 149381

Последний ответ:
26.04.2019, 11:17
Всего: 258261

Последняя рассылка:
26.04.2019, 02:45

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

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

Наша кнопка:

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

Отзывы о нас:
27.09.2009, 16:11 »
Кузнецов Валентин Олегович
Спасибо большое за ответ. Действительно PowerChute Personal Edition 2.0 Patch 1 при перезагрузке берет на себя управление ПК от ИБП. Поэкспериментировал и сам понял это. Огромное спасибо! [вопрос № 172686, ответ № 254751]
09.06.2018, 00:29 »
Алёна
Андрей Владимирович,большое спасибо за помощь! [вопрос № 193370, ответ № 276581]
03.07.2018, 07:59 »
SAW
Спасибо за книги, обязательно изучу! [вопрос № 193416, ответ № 276623]
Наши встречи:
ID: 840

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

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

[администратор рассылки: Лысков Игорь Витальевич (Старший модератор)]

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

Гордиенко Андрей Владимирович
Статус: Советник
Рейтинг: 6125
kovalenina
Статус: 9-й класс
Рейтинг: 1657
Лангваген Сергей Евгеньевич
Статус: Академик
Рейтинг: 600

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

Консультация онлайн # 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.18224 сек.

© 2001-2019, Портал RFPRO.RU, Россия
Калашников О.А.  |  Гладенюк А.Г.
Версия системы: 7.74 от 12.04.2019
Версия JS: 1.33 | Версия CSS: 3.35