15.10.2019, 05:37 [+3 UTC]
в нашей команде: 3 883 чел. | участники онлайн: 1 (рекорд: 21)

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

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

все разделы

правила

новости

участники

доска почёта

форум

блоги

поиск

статистика

наш журнал

наши встречи

наша галерея

отзывы о нас

поддержка

руководство

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

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

Форум:
11.10.2019, 14:47

Последний вопрос:
14.10.2019, 21:36
Всего: 150595

Последний ответ:
15.10.2019, 02:42
Всего: 259215

Последняя рассылка:
14.10.2019, 18:15

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

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

Наша кнопка:

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

Отзывы о нас:
11.10.2009, 22:30 »
ghost32
Спасибо большое, все работает! [вопрос № 173159, ответ № 255286]
02.03.2010, 20:58 »
JayK
Еще раз спасибо за полный и точный ответ, сколько уже страдаю от необходимости вбивать в t9 медтерминологию после каждого ХР... [вопрос № 176959, ответ № 259837]
Наши встречи:

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

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

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

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

Коцюрбенко Алексей Владимирович
Статус: Модератор
Рейтинг: 423
Лысков Игорь Витальевич
Статус: Старший модератор
Рейтинг: 163
Михаил Александров
Статус: Профессор
Рейтинг: 89

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

Консультация онлайн # 196468
Раздел: • Математика
Автор вопроса: sasha181999_9 (1-й класс)
Отправлена: 27.09.2019, 11:41
Поступило ответов: 1

Здравствуйте! У меня возникли сложности с таким вопросом:

Упростить выражение функции f(x1, x2, x3) и привести к виду, содержащему только конъюнкцию, дизъюнкцию и отрицание.

-----
 Прикрепленный файл (кликните по картинке для увеличения):

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

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

Из-за особенностей используемого мной редактора формул сложение по модулю 2 обозначено символом +, отрицание -- символом ¬. Для решения задачи воспользуемся тем, что x+y≡¬(x↔y), x|y≡¬(x∧y), x↓y≡¬(x∨y) [1, с. 22 -- 23]. Тогда

x1+((¬x1↓x2)|(x2↓¬x3))≡

≡x1+¬((¬x1↓x2)∧(x2↓¬x3))≡

(воспользуемся тем, что ¬(x∧y)≡¬x∨¬y [1, с. 23])
≡x1+(¬(¬x1↓x2)∨¬(x2↓¬x3))≡

(воспользуемся тем, что ¬(x↓y)≡¬(¬(x∨y))≡x∨y [1, с. 22 -- 23])
≡x1+((¬x1∨x2)∨(x2∨¬x3))≡

(воспользуемся ассоциативностью дизъюнкции и тем, что x∨x≡x [1, с. 23 -- 24])
≡x1+(¬x1∨x2∨¬x3)≡

≡¬(x1↔(¬x1∨x2∨¬x3))≡

(воспользуемся тем, что x↔y≡(x∧y)∨(¬x∧¬y) [1, с. 25])
≡¬((x1∧(¬x1∨x2∨¬x3))∨(¬x1∧¬(¬x1∨x2∨¬x3)))≡

(воспользуемся тем, что ¬(x∨y)≡¬x∧¬y [1, с. 23])
≡¬(x1∧(¬x1∨x2∨¬x3))∧¬(¬x1∧¬(¬x1∨x2∨¬x3))≡

(воспользуемся тем, что ¬(x∧y)≡¬x∨¬y, ¬¬x≡x)
≡(¬x1∨¬(¬x1∨x2∨¬x3)) ∧ (x1∨(¬x1∨x2∨¬x3))≡

(воспользуемся ассоциативностью дизъюнкции и тем, что x∨¬x≡¬x∨x≡1, 1∨x≡x∨1≡1, 1∧x≡x∧1≡x [1, с. 23 -- 24])
≡¬x1∨¬(¬x1∨x2∨¬x3)≡

(воспользуемся ассоциативностью дизъюнкции и тем, что ¬(x∨y)≡¬x∧¬y, ¬¬x≡x)
≡¬x1∨(¬(¬x1∨x2)∧x3)≡

(воспользуемся тем, что ¬(x∨y)≡¬x∧¬y, ¬¬x≡x)
≡¬x1∨((x1∧¬x2)∧x3)≡

(воспользуемся дистрибутивностью дизъюнкции)
≡(¬x1∨(x1∧¬x2))∧(¬x1∨x3)≡

(воспользуемся дистрибутивностью конъюнкции [1, с. 23])
≡(¬x1∨x1)∧(¬x1∨¬x2)∧(¬x1∨x3)≡

(воспользуемся тем, что ¬x∨x≡1, 1∧x≡x)
≡(¬x1∨¬x2)∧(¬x1∨x3)≡

(воспользуемся дистрибутивностью дизъюнкции)
≡¬x1∨(¬x2∧x3).


Мы получили, что f(x1, x2, x3)=x1+((¬x1↓x2)|(x2↓¬x3))=¬x1∨(¬x2∧x3). Для проверки этого ответа составим таблицы истинности для исходного и полученного выражений, обозначив f1=¬x1↓x2, f2=x2↓¬x3, f3=f1|f2, f=x1+f3, g=¬x1+f3, f=¬x1∨g. Получим следующие результаты:

x1x2x3¬x1¬x3f1f2f3f
000110011
001100111
010110011
011100011
100011010
101001101
110010010
111000010


x1x2x3¬x1¬x2gf
0001101
0011111
0101001
0111001
1000100
1010111
1100000
1110000


Последние столбцы в обеих таблицах истинности совпадают. Значит, действительно f(x1, x2, x3)=¬x1∨(¬x2∧x3).

Литература
1. Галушкина Ю. И., Марьямов А. М. Конспект лекций по дискретной математике. -- М.: Айрис-пресс, 2007. -- 176 с.


Консультировал: Гордиенко Андрей Владимирович (Профессионал)
Дата отправки: 29.09.2019, 16:40

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

+1

[подробно]

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

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

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

Яндекс Rambler's Top100

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

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

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