Математический форум Math Help Planet
Обсуждение и решение задач по математике, физике, химии, экономике Теоретический раздел |
Часовой пояс: UTC + 3 часа [ Летнее время ] |
новый онлайн-сервис число, сумма и дата прописью |
|
Часовой пояс: UTC + 3 часа [ Летнее время ] |
Страница 2 из 3 |
[ Сообщений: 21 ] | На страницу Пред. 1, 2, 3 След. |
|
Автор | Сообщение | |
---|---|---|
Artyom1997 |
|
|
|
||
Вернуться к началу | ||
Andy |
|
|
Artyom1997 писал(а): А после заменить отрицание дизъюнкции внутренних скобок (А или Б) на отрицание конъюнкций и после на штрих, правильно понимаю? Да. Отрицание дизъюнкции замените на конъюнкцию отрицаний, а потом на штрих Шеффера. При этом учтите, что [math]\overline{A}=A|A[/math]. |
||
Вернуться к началу | ||
За это сообщение пользователю Andy "Спасибо" сказали: Artyom1997 |
||
Artyom1997 |
|
|
Andy писал(а): Artyom1997 писал(а): А после заменить отрицание дизъюнкции внутренних скобок (А или Б) на отрицание конъюнкций и после на штрих, правильно понимаю? Да. Отрицание дизъюнкции замените на конъюнкцию отрицаний, а потом на штрих Шеффера. При этом учтите, что [math]\overline{A}=A|A[/math]. Надеюсь видно, правильно я штрих делаю? |
||
Вернуться к началу | ||
Andy |
|
|
Избавьтесь от двойных отрицаний. учитывая, что [math]\overline{\overline{A}}=A[/math]. Это нужно сделать с начала их появлений.
Для набора формул используйте, пожалуйста. редактор формул. |
||
Вернуться к началу | ||
За это сообщение пользователю Andy "Спасибо" сказали: Artyom1997 |
||
Artyom1997 |
|
|
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] |
||
Вернуться к началу | ||
Andy |
|
|
По-моему, Вы неправильно заменяете импликацию дизъюнкцией. Например, должно быть так: [math](A \lor B) \to C=\overline{A \lor B} \lor C[/math]. А у Вас вместо [math]C[/math] используется [math]\overline{C}[/math].
Мне пора ложиться спать: завтра на работу. Я считаю, что в процессе обсуждения первого задания Вы получили представление о том, как нужно действовать. Может быть, в чём-то я был тоже невнимателен... Вернуться к обсуждению я смогу не раньше, чем завтра. Однако у меня завтра три пары занятий со студентами, поэтому вряд ли я смогу уделить обсуждению Вашей задачи много времени. Прошу извинить! Спокойной ночи! |
||
Вернуться к началу | ||
За это сообщение пользователю Andy "Спасибо" сказали: Artyom1997 |
||
Artyom1997 |
|
|
Andy писал(а): По-моему, Вы неправильно заменяете импликацию дизъюнкцией. Например, должно быть так: [math](A \lor B) \to C=\overline{A \lor B} \lor C[/math]. А у Вас вместо [math]C[/math] используется [math]\overline{C}[/math]. Мне пора ложиться спать: завтра на работу. Я считаю, что в процессе обсуждения первого задания Вы получили представление о том, как нужно действовать. Может быть, в чём-то я был тоже невнимателен... Вернуться к обсуждению я смогу не раньше, чем завтра. Однако у меня завтра три пары занятий со студентами, поэтому вряд ли я смогу уделить обсуждению Вашей задачи много времени. Прошу извинить! Спокойной ночи! Действительно не правильно, на одном источнике не правильно указано правило преобразования. Спасибо большое, хорошего завтра дня) |
||
Вернуться к началу | ||
За это сообщение пользователю Artyom1997 "Спасибо" сказали: Andy |
||
Andy |
|
|
Я привёл ниже свой результат выполнения задания 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] Конечно, при выводе такой формулы проще допустить ошибки, чем не допустить. Поэтому Вам нужно проверить мой вывод, если Вы хотите его использовать. Вам для информации (не мешает проверить!): |
||
Вернуться к началу | ||
За это сообщение пользователю Andy "Спасибо" сказали: Artyom1997 |
||
Artyom1997 |
|
|
Спасибо большое! Всего-то нужно уметь пользоваться гуглом в этом задании оказывается, чтобы найти картинки с преобразованиями и применить их правильно)
|
||
Вернуться к началу | ||
За это сообщение пользователю Artyom1997 "Спасибо" сказали: Andy |
||
3D Homer |
|
|
Andy писал(а): Ничего, кроме отвращения к дискретной математике, такие задания у меня не вызывают. Это задание должно вызывать восхищение мощью операции |, которая, если ее взять в достаточном количестве, может выполнить все вычисления, на которые способен персональный компьютер. Но я бы написал программу, которая механически выражает остальные операции через | согласно формулам здесь, и предъявил бы преподавателю выражение из нескольких строчках, а потом наслаждался его попытками определить, нет ли в нем непарных скобок. |
||
Вернуться к началу | ||
На страницу Пред. 1, 2, 3 След. | [ Сообщений: 21 ] |
Похожие темы | Автор | Ответы | Просмотры | Последнее сообщение |
---|---|---|---|---|
Представить линейный сплайн в виде суперпозиции В-сплайнов п
в форуме Численные методы |
0 |
442 |
21 дек 2017, 13:34 |
|
Представить в виде многочлена
в форуме Алгебра |
7 |
206 |
26 апр 2021, 14:57 |
|
Представить функцию в виде w=u(x.y)+iv(x.y) | 6 |
707 |
25 мар 2018, 23:23 |
|
Tan(2arctan(x)) представить в виде выражения с х
в форуме Тригонометрия |
1 |
415 |
14 авг 2014, 14:36 |
|
Представить в виде числового ряда lge
в форуме Ряды |
8 |
386 |
07 мар 2018, 11:40 |
|
Представить функцию в явном виде | 0 |
423 |
06 дек 2014, 23:50 |
|
Представить заданную функцию w=f(z) в виде w=u(x,y)+iv(x,y) | 8 |
1110 |
23 фев 2017, 16:37 |
|
Вычислить выражение, представить в виде | 1 |
337 |
28 окт 2014, 22:42 |
|
Представить в виде полинома Жегалкина | 7 |
572 |
18 ноя 2016, 14:38 |
|
Представить неопределенный интеграл в виде суммы
в форуме Интегральное исчисление |
6 |
166 |
14 май 2020, 15:58 |
Часовой пояс: UTC + 3 часа [ Летнее время ] |
Кто сейчас на конференции |
Сейчас этот форум просматривают: нет зарегистрированных пользователей и гости: 31 |
Вы не можете начинать темы Вы не можете отвечать на сообщения Вы не можете редактировать свои сообщения Вы не можете удалять свои сообщения Вы не можете добавлять вложения |