нужно решить номер 30
Я получил ДНФ, а что дальше делать?
Сообщение отредактировано: Renbo -
 КНФ и ДНФ, установить выполнимость формулы |
Правила форума :: Скачать Pascal :: FAQ // Ада–2020 :: Скачать GNAT :: OEM–2015 :: Ada -> C/C++
Компиляция правил для данного раздела
1. Заголовок темы должен быть информативным. В противном случае тема закрывается и удаляется ...
2. НЕ используйте форум для личного общения, все что не относится к обсуждению темы - на PM!
3. Одна тема - один вопрос (задача)
4. Спрашивайте и отвечайте четко и по существу!!!
  |
| Renbo |
Сообщение
#1
|
|
Пионер  Группа: Пользователи Сообщений: 86 Пол: Мужской Репутация:  0   |
нужно решить номер 30 Я получил ДНФ, а что дальше делать? Сообщение отредактировано: Renbo - |
   |
 
|
| мисс_граффити |
Сообщение
#2
|
 просто человек Группа: Пользователи Сообщений: 3 641 Пол: Женский Реальное имя: Юлия Репутация: 55 |
формула выполнима, если хотя бы на одном наборе аргументов принимает значение истина, так?
каждое слагаемое ДНФ соответствует набору, дающему истину. если ДНФ существует, значит, формула выполнима... КНФ - это для того, чтобы проверить, не является ли она тождественно истинной. на будущее - пожалуй, не стоит выкладывать целый лист ради одной строчки... -------------------- Все содержимое данного сообщения (кроме цитат) является моим личным скромным мнением и на статус истины в высшей инстанции не претендует.
На вопросы по программированию, физике, математике и т.д. в аське и личке не отвечаю. Даже "один-единственный раз" в виде исключения! |
|
|
|
|
1 чел. читают эту тему (гостей: 1, скрытых пользователей: 0)
Пользователей: 0
|
Текстовая версия | 25.04.2024 8:28 |
Связь с администрацией: bu_gen в домене octagram.name