Математический форум Math Help Planet
Обсуждение и решение задач по математике, физике, химии, экономике Теоретический раздел |
Часовой пояс: UTC + 3 часа [ Летнее время ] |
новый онлайн-сервис число, сумма и дата прописью |
|
Часовой пояс: UTC + 3 часа [ Летнее время ] |
Страница 1 из 1 |
[ Сообщений: 6 ] |
|
Автор | Сообщение | |
---|---|---|
Alex77 |
|
|
[math]((-A)&B&D&(-E))v((-A)&C&D&(-E))v(A&(-B)&(-C))v(A&(-D))v(A&E)[/math] ,где "-" перед переменной=отрицание этой переменной. Помогите,пожалуйста,упростить дальше,если это возможно. Только зарегистрировался на сайте,поэтому заранее извиняюсь за такой вид формул(без редактора). |
||
Вернуться к началу | ||
3D Homer |
|
|
Смотря что вы понимаете под словом "упростить". Я не уверен, что можно написать эквивалентную формулу с меньшим количеством связок.
|
||
Вернуться к началу | ||
Alex77 |
|
|
3D Homer писал(а): Смотря что вы понимаете под словом "упростить". Я не уверен, что можно написать эквивалентную формулу с меньшим количеством связок. Имеется в виду: можно ли дальше использовать законы,чтоб сократить формулу? Просто преподаватель сказал,чтоб я упрощал дальше,так как якобы можно сократить эту запись. Вполне вероятно,что преподаватель ошибся,так как он,мягко говоря,со странностями. |
||
Вернуться к началу | ||
3D Homer |
|
|
Смотря что значит "сократить". Введите в wolframalpha.com запрос A <=> (((B || C) && D) => E). Получите несколько эквивалентных формул в различных стандартных видах. Все они гораздо больше исходной формулы.
Другое дело, если вам нужно привести формулу, например, к ДНФ. Но у вас и так вроде результат в ДНФ и я не вижу очевидных способов сократить ее. |
||
Вернуться к началу | ||
Alex77 |
|
|
3D Homer писал(а): Смотря что значит "сократить". Введите в wolframalpha.com запрос A <=> (((B || C) && D) => E). Получите несколько эквивалентных формул в различных стандартных видах. Все они гораздо больше исходной формулы. Другое дело, если вам нужно привести формулу, например, к ДНФ. Но у вас и так вроде результат в ДНФ и я не вижу очевидных способов сократить ее. Именно первый случай,никакие СДНФ и СКНФ(ДНФ И КНФ) мне находить не надо.Преподаватель подчеркнул в первых скобках (отрицание A,D,отрицание E) и во второй (отрицание А,D и отрицание Е). Я так понял,это из-за того,что они повторяются. Но что я с ними могу сделать? Судя по формулам с Wolfram,НИЧЕГО. Калькулятор с сайта http://tablica-istinnosti.ru/ru/ тоже дальше ничего не выдает. В любом случае,спасибо,что попытались помочь. Я хотя бы узнал,что Wolfram может решать подобные задачки) . |
||
Вернуться к началу | ||
3D Homer |
|
|
Ну, можно, конечно, вынести [math]\bar{A}D\bar{E}[/math] за скобки из первых двух скобок; получится [math]\bar{A}D\bar{E}(B\lor C)[/math]. Количество связок при этом уменьшится. Но в преобразованиях нужна все-таки какая-то цель.
|
||
Вернуться к началу | ||
[ Сообщений: 6 ] |
Похожие темы | Автор | Ответы | Просмотры | Последнее сообщение |
---|---|---|---|---|
Приложения алгебры высказываний | 3 |
199 |
29 апр 2020, 17:03 |
|
Дана формула алгебры высказываний Φ | 1 |
312 |
08 янв 2015, 13:42 |
|
Даны формулы алгебры высказываний Φ1 и Φ2 | 3 |
564 |
08 янв 2015, 13:40 |
|
Чи загальнозначима формулы ф алгебры высказываний | 1 |
484 |
20 ноя 2014, 20:06 |
|
Упростить выражение алгебры множеств | 1 |
573 |
21 сен 2014, 16:03 |
|
Упростить выражение алгебры множеств - дискретка | 3 |
490 |
28 фев 2021, 22:58 |
|
Упростить выражение алгебры множеств - дискретная математика | 4 |
272 |
18 июн 2022, 17:14 |
|
Упростить выражение,используя законы алгебры множеств | 14 |
691 |
24 май 2021, 17:08 |
|
Упростить формулу | 6 |
486 |
22 мар 2019, 13:36 |
|
Упростить формулу
в форуме Алгебра |
1 |
234 |
10 авг 2021, 19:36 |
Часовой пояс: UTC + 3 часа [ Летнее время ] |
Кто сейчас на конференции |
Сейчас этот форум просматривают: нет зарегистрированных пользователей и гости: 21 |
Вы не можете начинать темы Вы не можете отвечать на сообщения Вы не можете редактировать свои сообщения Вы не можете удалять свои сообщения Вы не можете добавлять вложения |