 Дискретная математика, Задание : упростить, приведя в нормальную форму |
Правила форума :: Скачать Pascal :: FAQ // Ада–2020 :: Скачать GNAT :: OEM–2015 :: Ada -> C/C++
Компиляция правил для данного раздела
1. Заголовок темы должен быть информативным. В противном случае тема закрывается и удаляется ...
2. НЕ используйте форум для личного общения, все что не относится к обсуждению темы - на PM!
3. Одна тема - один вопрос (задача)
4. Спрашивайте и отвечайте четко и по существу!!!
  |
| Tan |
 
Сообщение
#1
|
 Профи  Группа: Пользователи Сообщений: 559 Пол: Мужской Реальное имя: Бруно Репутация:  10   |
На картинке пример и тот этап его решения, до которого я дошёл, возможно уже успел где - то ошибиться. Задание : упростить, приведя в нормальную форму, раздел : дискретная математика.
Эскизы прикрепленных изображений 
-------------------- Цитата Imagination is more important than knowledge. Albert Einstein |
   |
 
|
| мисс_граффити |
Сообщение
#2
|
 просто человек Группа: Пользователи Сообщений: 3 641 Пол: Женский Реальное имя: Юлия Репутация: 55 |
конъюнктивная или дизъюнктивная нормальная форма должна получиться?
дальше тебе надо избавиться от "больших" отрицаний (по закону де Моргана) и раскрыть скобки... В этом пункте какие-то сложности? -------------------- Все содержимое данного сообщения (кроме цитат) является моим личным скромным мнением и на статус истины в высшей инстанции не претендует.
На вопросы по программированию, физике, математике и т.д. в аське и личке не отвечаю. Даже "один-единственный раз" в виде исключения! |
|
|
|
| Tan |
Сообщение
#3
|
|
Профи Группа: Пользователи Сообщений: 559 Пол: Мужской Реальное имя: Бруно Репутация: 10 |
Цитата конъюнктивная или дизъюнктивная нормальная форма должна получиться? Да. Препод ничего не говорил про закон Моргана, приходится всё самому, от лекций толку 0. Если нетрудно объясни его (закон) пожалуйста.-------------------- Цитата Imagination is more important than knowledge. Albert Einstein |
|
|
|
| мисс_граффити |
Сообщение
#4
|
|
просто человек Группа: Пользователи Сообщений: 3 641 Пол: Женский Реальное имя: Юлия Репутация: 55 |
отрицание конъюнкции = дизъюнкции отрицаний
отрицание дизъюнкции = конъюнкции отрицаний то есть не(а или б) = не(а) и не(б) не(а и б) = не(а) или не(б) -------------------- Все содержимое данного сообщения (кроме цитат) является моим личным скромным мнением и на статус истины в высшей инстанции не претендует.
На вопросы по программированию, физике, математике и т.д. в аське и личке не отвечаю. Даже "один-единственный раз" в виде исключения! |
|
|
|
| Tan |
Сообщение
#5
|
|
Профи Группа: Пользователи Сообщений: 559 Пол: Мужской Реальное имя: Бруно Репутация: 10 |
То есть во второй части (справа от главной дисъюнкции) я получаю большое умножение с противоположным состоянием переменных ( то есть была негация - её не станет и наобарот). А что потом делать ?
-------------------- Цитата Imagination is more important than knowledge. Albert Einstein |
|
|
|
| мисс_граффити |
Сообщение
#6
|
|
просто человек Группа: Пользователи Сообщений: 3 641 Пол: Женский Реальное имя: Юлия Репутация: 55 |
не могу проверить, как ты начал решать, т.к. обозначение | мне не знакомо.
 поэтому продолжаю с того места, где ты остановился, в предположении, что все ок.  -------------------- Все содержимое данного сообщения (кроме цитат) является моим личным скромным мнением и на статус истины в высшей инстанции не претендует.
На вопросы по программированию, физике, математике и т.д. в аське и личке не отвечаю. Даже "один-единственный раз" в виде исключения! |
|
|
|
| Tan |
Сообщение
#7
|
|
Профи Группа: Пользователи Сообщений: 559 Пол: Мужской Реальное имя: Бруно Репутация: 10 |
это палочка Шефера =) С неё я преобразовал точно правильно, огромное спасибо!!
-------------------- Цитата Imagination is more important than knowledge. Albert Einstein |
|
|
|
| мисс_граффити |
Сообщение
#8
|
|
просто человек Группа: Пользователи Сообщений: 3 641 Пол: Женский Реальное имя: Юлия Репутация: 55 |
 ) Мы просто по-другому штрих Шеффера обозначали.В общем, если хочешь проверить эквивалентность - составь таблицы истинности для исходной функции и для НФ. Кстати, тебе только один вид нормальной формы нужен или и конъюнктивная, и дизъюнктивная? -------------------- Все содержимое данного сообщения (кроме цитат) является моим личным скромным мнением и на статус истины в высшей инстанции не претендует.
На вопросы по программированию, физике, математике и т.д. в аське и личке не отвечаю. Даже "один-единственный раз" в виде исключения! |
|
|
|
| Tan |
Сообщение
#9
|
|
Профи Группа: Пользователи Сообщений: 559 Пол: Мужской Реальное имя: Бруно Репутация: 10 |
Я сделал полную ДНФ и полную КНФ, а стопорнулся просто на обычной нормальной, так как без неё я не смог бы найти дуальную, блин какие термины
-------------------- Цитата Imagination is more important than knowledge. Albert Einstein |
|
|
|
| КМА |
Сообщение
#10
|
 Пионер Группа: Пользователи Сообщений: 69 Пол: Мужской Репутация: 3 |
Tan я в одной из тем писал универсальный алгоритм для нахождения СКНФ. СДНФ фактически мало чем отличается. Вот где это было здесь.
|
|
|
|
| Fanat |
Сообщение
#11
|
 Fanat Группа: Пользователи Сообщений: 261 Пол: Мужской Реальное имя: Сергей Репутация: 5 |
Для перевода Днф в Сднф можно использавать метод Блэка-Парецкого:
Если в формуле есть термы вида BxiVA~xi,то к формуле можно дописать VAB. (xi-икс итое,~-не) Сам алгоритм такой:сначала все такие пары выписать для которых выполняеться условие теормеры,приписать соответствующие AB;дальше использовать сокращение и закон поглощения...в результате получиться Сднф... Сообщение отредактировано: Fanat - |
|
|
|
| Tan |
Сообщение
#12
|
|
Профи Группа: Пользователи Сообщений: 559 Пол: Мужской Реальное имя: Бруно Репутация: 10 |
огромное спасибо всем !!!
-------------------- Цитата Imagination is more important than knowledge. Albert Einstein |
|
|
|
|
1 чел. читают эту тему (гостей: 1, скрытых пользователей: 0)
Пользователей: 0
|
Текстовая версия | 24.12.2024 6:34 |
Связь с администрацией: bu_gen в домене octagram.name