Дискуссионный математический форумМатематический форум
Математический форум Math Help Planet

Обсуждение и решение задач по математике, физике, химии, экономике

Теоретический раздел
Часовой пояс: UTC + 3 часа [ Летнее время ]
новый онлайн-сервис
число, сумма и дата прописью

Часовой пояс: UTC + 3 часа [ Летнее время ]




Начать новую тему Ответить на тему  [ Сообщений: 21 ]  На страницу Пред.  1, 2, 3  След.
Автор Сообщение
 Заголовок сообщения: Re: Представить высказывание в виде суперпозиции
СообщениеДобавлено: 11 окт 2020, 19:40 
Не в сети
Начинающий
Зарегистрирован:
11 окт 2020, 17:00
Сообщений: 25
Cпасибо сказано: 21
Спасибо получено:
2 раз в 2 сообщениях
Очков репутации: 1

Добавить очки репутацииУменьшить очки репутации
И когда ставлю штрих, получается отрицаю конъюнкцию, т.е. ставлю инверсию над выражением, которое соответственно отрицается и в котором ставлю штрих?

Вернуться к началу
 Профиль  
Cпасибо сказано 
 Заголовок сообщения: Re: Представить высказывание в виде суперпозиции
СообщениеДобавлено: 11 окт 2020, 19:41 
Не в сети
Любитель математики
Аватара пользователя
Зарегистрирован:
16 июл 2011, 08:33
Сообщений: 22268
Откуда: Беларусь, Минск
Cпасибо сказано: 2096
Спасибо получено:
4958 раз в 4631 сообщениях
Очков репутации: 845

Добавить очки репутацииУменьшить очки репутации
Artyom1997 писал(а):
А после заменить отрицание дизъюнкции внутренних скобок (А или Б) на отрицание конъюнкций и после на штрих, правильно понимаю?

Да. Отрицание дизъюнкции замените на конъюнкцию отрицаний, а потом на штрих Шеффера. При этом учтите, что [math]\overline{A}=A|A[/math].

Вернуться к началу
 Профиль  
Cпасибо сказано 
За это сообщение пользователю Andy "Спасибо" сказали:
Artyom1997
 Заголовок сообщения: Re: Представить высказывание в виде суперпозиции
СообщениеДобавлено: 11 окт 2020, 20:01 
Не в сети
Начинающий
Зарегистрирован:
11 окт 2020, 17:00
Сообщений: 25
Cпасибо сказано: 21
Спасибо получено:
2 раз в 2 сообщениях
Очков репутации: 1

Добавить очки репутацииУменьшить очки репутации
Andy писал(а):
Artyom1997 писал(а):
А после заменить отрицание дизъюнкции внутренних скобок (А или Б) на отрицание конъюнкций и после на штрих, правильно понимаю?

Да. Отрицание дизъюнкции замените на конъюнкцию отрицаний, а потом на штрих Шеффера. При этом учтите, что [math]\overline{A}=A|A[/math].


Надеюсь видно, правильно я штрих делаю?
Изображение

Вернуться к началу
 Профиль  
Cпасибо сказано 
 Заголовок сообщения: Re: Представить высказывание в виде суперпозиции
СообщениеДобавлено: 11 окт 2020, 20:07 
Не в сети
Любитель математики
Аватара пользователя
Зарегистрирован:
16 июл 2011, 08:33
Сообщений: 22268
Откуда: Беларусь, Минск
Cпасибо сказано: 2096
Спасибо получено:
4958 раз в 4631 сообщениях
Очков репутации: 845

Добавить очки репутацииУменьшить очки репутации
Избавьтесь от двойных отрицаний. учитывая, что [math]\overline{\overline{A}}=A[/math]. Это нужно сделать с начала их появлений.

Для набора формул используйте, пожалуйста. редактор формул.

Вернуться к началу
 Профиль  
Cпасибо сказано 
За это сообщение пользователю Andy "Спасибо" сказали:
Artyom1997
 Заголовок сообщения: Re: Представить высказывание в виде суперпозиции
СообщениеДобавлено: 11 окт 2020, 20:32 
Не в сети
Начинающий
Зарегистрирован:
11 окт 2020, 17:00
Сообщений: 25
Cпасибо сказано: 21
Спасибо получено:
2 раз в 2 сообщениях
Очков репутации: 1

Добавить очки репутацииУменьшить очки репутации
Andy писал(а):
Избавьтесь от двойных отрицаний. учитывая, что [math]\overline{\overline{A}}=A[/math]. Это нужно сделать с начала их появлений.

Для набора формул используйте, пожалуйста. редактор формул.


[math]\overline{(A \lor B) \leftrightarrow C} =\overline{(A \lor B) \to C))(C \to (A \lor B))} =\overline{\overline{(A \lor B)} \lor \overline{C})) (\overline{C} \lor \overline{(A \lor B} )) }= (\overline{A \lor B} ) \lor \overline{C} ))|(\overline{C} \lor (\overline{A \lor B} ))=\overline{(\overline{\overline{AVB} } )\overline{\overline{C}} ))} |\overline{(\overline{\overline{AVB} } )\overline{\overline{C} } ))}=(AVB)|C))|(AVB)|C))= (\overline{\overline{A} *\overline{B} } )|C))|(\overline{\overline{A} *\overline{B} } )|C))=(\overline{A} |\overline{B} )|C))|(\overline{A} |\overline{B} )|C))[/math]

Вернуться к началу
 Профиль  
Cпасибо сказано 
 Заголовок сообщения: Re: Представить высказывание в виде суперпозиции
СообщениеДобавлено: 11 окт 2020, 20:49 
Не в сети
Любитель математики
Аватара пользователя
Зарегистрирован:
16 июл 2011, 08:33
Сообщений: 22268
Откуда: Беларусь, Минск
Cпасибо сказано: 2096
Спасибо получено:
4958 раз в 4631 сообщениях
Очков репутации: 845

Добавить очки репутацииУменьшить очки репутации
По-моему, Вы неправильно заменяете импликацию дизъюнкцией. Например, должно быть так: [math](A \lor B) \to C=\overline{A \lor B} \lor C[/math]. А у Вас вместо [math]C[/math] используется [math]\overline{C}[/math].

Мне пора ложиться спать: завтра на работу. Я считаю, что в процессе обсуждения первого задания Вы получили представление о том, как нужно действовать. Может быть, в чём-то я был тоже невнимателен...

Вернуться к обсуждению я смогу не раньше, чем завтра. Однако у меня завтра три пары занятий со студентами, поэтому вряд ли я смогу уделить обсуждению Вашей задачи много времени. Прошу извинить!

Спокойной ночи!

Вернуться к началу
 Профиль  
Cпасибо сказано 
За это сообщение пользователю Andy "Спасибо" сказали:
Artyom1997
 Заголовок сообщения: Re: Представить высказывание в виде суперпозиции
СообщениеДобавлено: 11 окт 2020, 20:59 
Не в сети
Начинающий
Зарегистрирован:
11 окт 2020, 17:00
Сообщений: 25
Cпасибо сказано: 21
Спасибо получено:
2 раз в 2 сообщениях
Очков репутации: 1

Добавить очки репутацииУменьшить очки репутации
Andy писал(а):
По-моему, Вы неправильно заменяете импликацию дизъюнкцией. Например, должно быть так: [math](A \lor B) \to C=\overline{A \lor B} \lor C[/math]. А у Вас вместо [math]C[/math] используется [math]\overline{C}[/math].

Мне пора ложиться спать: завтра на работу. Я считаю, что в процессе обсуждения первого задания Вы получили представление о том, как нужно действовать. Может быть, в чём-то я был тоже невнимателен...

Вернуться к обсуждению я смогу не раньше, чем завтра. Однако у меня завтра три пары занятий со студентами, поэтому вряд ли я смогу уделить обсуждению Вашей задачи много времени. Прошу извинить!

Спокойной ночи!


Действительно не правильно, на одном источнике не правильно указано правило преобразования. Спасибо большое, хорошего завтра дня)

Вернуться к началу
 Профиль  
Cпасибо сказано 
За это сообщение пользователю Artyom1997 "Спасибо" сказали:
Andy
 Заголовок сообщения: Re: Представить высказывание в виде суперпозиции
СообщениеДобавлено: 17 окт 2020, 15:20 
Не в сети
Любитель математики
Аватара пользователя
Зарегистрирован:
16 июл 2011, 08:33
Сообщений: 22268
Откуда: Беларусь, Минск
Cпасибо сказано: 2096
Спасибо получено:
4958 раз в 4631 сообщениях
Очков репутации: 845

Добавить очки репутацииУменьшить очки репутации
Я привёл ниже свой результат выполнения задания 1.
[math]\overline{(A \lor B) \leftrightarrow C}=[/math]

[math]=\overline{((A \lor B) \to C) \land (C \to (A \lor B))}=[/math]

[math]={((A \lor B) \to C)|(C \to (A \lor B))}=[/math]

[math]=(\overline{A \lor B} \lor C)|(\overline{C} \lor (A \lor B))=[/math]

[math]=\overline{(A \lor B) \land \overline{C}}|\overline{C \land \overline{A \lor B}}=[/math]

[math]=((A \lor B)|\overline{C})|(C|\overline{A \lor B})=[/math]

[math]=(\overline{\overline{A} \land \overline{B}}|\overline{C})|(C|(\overline{A} \land \overline{B}))=[/math]

[math]=((\overline{A}|\overline{B})|\overline{C})|(C|\overline{\overline{A}|\overline{B}})=[/math]

[math]=(((A|A)|(B|B))|(C|C)) | (C|((\overline{A}|\overline{B})|(\overline{A}|\overline{B})))=[/math]

[math]=(((A|A)|(B|B))|(C|C)) | (C|(((A|A)|(B|B))|((A|A)|(B|B)))).[/math]

Конечно, при выводе такой формулы проще допустить ошибки, чем не допустить. Поэтому Вам нужно проверить мой вывод, если Вы хотите его использовать.

Вам для информации (не мешает проверить!):
Изображение


Я сочувствую Вам. Ничего, кроме отвращения к дискретной математике, такие задания у меня не вызывают. :cry:

Вернуться к началу
 Профиль  
Cпасибо сказано 
За это сообщение пользователю Andy "Спасибо" сказали:
Artyom1997
 Заголовок сообщения: Re: Представить высказывание в виде суперпозиции
СообщениеДобавлено: 17 окт 2020, 15:21 
Не в сети
Начинающий
Зарегистрирован:
11 окт 2020, 17:00
Сообщений: 25
Cпасибо сказано: 21
Спасибо получено:
2 раз в 2 сообщениях
Очков репутации: 1

Добавить очки репутацииУменьшить очки репутации
Спасибо большое! Всего-то нужно уметь пользоваться гуглом в этом задании оказывается, чтобы найти картинки с преобразованиями и применить их правильно)

Вернуться к началу
 Профиль  
Cпасибо сказано 
За это сообщение пользователю Artyom1997 "Спасибо" сказали:
Andy
 Заголовок сообщения: Re: Представить высказывание в виде суперпозиции
СообщениеДобавлено: 17 окт 2020, 17:12 
Не в сети
Последняя инстанция
Зарегистрирован:
06 июн 2013, 16:17
Сообщений: 2590
Cпасибо сказано: 104
Спасибо получено:
746 раз в 701 сообщениях
Очков репутации: 158

Добавить очки репутацииУменьшить очки репутации
Andy писал(а):
Ничего, кроме отвращения к дискретной математике, такие задания у меня не вызывают.
Это задание должно вызывать восхищение мощью операции |, которая, если ее взять в достаточном количестве, может выполнить все вычисления, на которые способен персональный компьютер. Но я бы написал программу, которая механически выражает остальные операции через | согласно формулам здесь, и предъявил бы преподавателю выражение из нескольких строчках, а потом наслаждался его попытками определить, нет ли в нем непарных скобок.

Вернуться к началу
 Профиль  
Cпасибо сказано 
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему    На страницу Пред.  1, 2, 3  След.  Страница 2 из 3 [ Сообщений: 21 ]

 Похожие темы   Автор   Ответы   Просмотры   Последнее сообщение 
Представить линейный сплайн в виде суперпозиции В-сплайнов п

в форуме Численные методы

Knyazhe

0

442

21 дек 2017, 13:34

Представить в виде многочлена

в форуме Алгебра

dikarka2004

7

206

26 апр 2021, 14:57

Представить функцию в виде w=u(x.y)+iv(x.y)

в форуме Комплексный анализ и Операционное исчисление

Melenarka

6

707

25 мар 2018, 23:23

Tan(2arctan(x)) представить в виде выражения с х

в форуме Тригонометрия

afraumar

1

415

14 авг 2014, 14:36

Представить в виде числового ряда lge

в форуме Ряды

gruksi

8

386

07 мар 2018, 11:40

Представить функцию в явном виде

в форуме Аналитическая геометрия и Векторная алгебра

almazfadeev

0

423

06 дек 2014, 23:50

Представить заданную функцию w=f(z) в виде w=u(x,y)+iv(x,y)

в форуме Комплексный анализ и Операционное исчисление

Shp57

8

1110

23 фев 2017, 16:37

Вычислить выражение, представить в виде

в форуме Комплексный анализ и Операционное исчисление

zima

1

337

28 окт 2014, 22:42

Представить в виде полинома Жегалкина

в форуме Дискретная математика, Теория множеств и Логика

Alcantara

7

572

18 ноя 2016, 14:38

Представить неопределенный интеграл в виде суммы

в форуме Интегральное исчисление

Gwen

6

166

14 май 2020, 15:58


Часовой пояс: UTC + 3 часа [ Летнее время ]



Кто сейчас на конференции

Сейчас этот форум просматривают: нет зарегистрированных пользователей и гости: 31


Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

Найти:
Перейти:  

Яндекс.Метрика

Copyright © 2010-2023 MathHelpPlanet.com. All rights reserved