 Дискретная математика, Задание : упростить, приведя в нормальную форму |
Правила форума :: Скачать 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
|
 Пионер Группа: Пользователи Сообщений: 69 Пол: Мужской Репутация: 3 |
Tan я в одной из тем писал универсальный алгоритм для нахождения СКНФ. СДНФ фактически мало чем отличается. Вот где это было здесь.
|
|
|
|
| Fanat |
Сообщение
#3
|
 Fanat Группа: Пользователи Сообщений: 261 Пол: Мужской Реальное имя: Сергей Репутация: 5 |
Для перевода Днф в Сднф можно использавать метод Блэка-Парецкого:
Если в формуле есть термы вида BxiVA~xi,то к формуле можно дописать VAB. (xi-икс итое,~-не) Сам алгоритм такой:сначала все такие пары выписать для которых выполняеться условие теормеры,приписать соответствующие AB;дальше использовать сокращение и закон поглощения...в результате получиться Сднф... Сообщение отредактировано: Fanat - |
|
|
|
Сообщений в этой теме
Tan Дискретная математика 11.04.2007 20:05
мисс_граффити конъюнктивная или дизъюнктивная нормальная форма д… 11.04.2007 20:18 Tan Да. Препод ничего не говорил про закон Моргана, п… 11.04.2007 20:54 мисс_граффити отрицание конъюнкции = дизъюнкции отрицаний
отрица… 11.04.2007 21:06 Tan То есть во второй части (справа от главной дисъюнк… 11.04.2007 21:35 мисс_граффити не могу проверить, как ты начал решать, т.к. обозн… 11.04.2007 22:18 Tan это палочка Шефера =) С неё я преобразовал точно п… 11.04.2007 22:21 мисс_граффити :)) Мы просто по-другому штрих Шеффера обозначали.… 11.04.2007 22:23 Tan Я сделал полную ДНФ и полную КНФ, а стопорнулся пр… 11.04.2007 22:30
Tan огромное спасибо всем !!! 13.04.2007 21:54 |
1 чел. читают эту тему (гостей: 1, скрытых пользователей: 0)
Пользователей: 0
|
Текстовая версия | 17.04.2024 3:35 |
Связь с администрацией: bu_gen в домене octagram.name