18.09.2019, 11:28 [+3 UTC]
в нашей команде: 3 827 чел. | участники онлайн: 7 (рекорд: 21)

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

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

все разделы

правила

новости

участники

доска почёта

форум

блоги

поиск

статистика

наш журнал

наши встречи

наша галерея

отзывы о нас

поддержка

руководство

Версия системы:
7.77 (31.05.2019)
JS-v.1.34 | CSS-v.3.35

Общие новости:
28.04.2019, 09:13

Форум:
12.09.2019, 08:17

Последний вопрос:
18.09.2019, 03:36
Всего: 150326

Последний ответ:
18.09.2019, 10:06
Всего: 259022

Последняя рассылка:
17.09.2019, 20:45

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

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

Наша кнопка:

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

Отзывы о нас:
06.04.2012, 17:18 »
Петровский Г И
На счет HP Compaq 630 A6F22EA вы правы как это я его пропустил. [вопрос № 185763, ответ № 270451]
09.10.2009, 11:29 »
Болдырев Тимофей
Очень трудоёмкое решение. Спасибо вам большое! [вопрос № 173018, ответ № 255179]
20.02.2010, 19:24 »
Деда Дима
Спасибо большое! Действительно, ценное дополнение. Я знал, что программно можно подключить подтягивающие резисторы. Длина проводов небольшая, так что наводок быть не должно. Насчет учета дребезга - будем учитывать в программе! [вопрос № 176779, ответ № 259597]

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

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

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

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

kovalenina
Статус: Практикант
Рейтинг: 273
Sergey
Статус: 1-й класс
Рейтинг: 144
Михаил Александров
Статус: Профессионал
Рейтинг: 133

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

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

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