 КНФ и ДНФ, установить выполнимость формулы |
Компиляция правил для данного раздела
1. Заголовок темы должен быть информативным. В противном случае тема закрывается и удаляется ...
2. НЕ используйте форум для личного общения, все что не относится к обсуждению темы - на PM!
3. Одна тема - один вопрос (задача)
4. Спрашивайте и отвечайте четко и по существу!!!
  |
| Renbo |
 27.04.2007 19:50
Сообщение
#1
|
|
Пионер  Группа: Пользователи Сообщений: 86 Пол: Мужской Репутация:  0   |
 нужно решить номер 30 Я получил ДНФ, а что дальше делать? Сообщение отредактировано: Renbo - 27.04.2007 20:33 |
   |
 
|
| мисс_граффити |
27.04.2007 20:44
Сообщение
#2
|
 просто человек Группа: Модераторы Сообщений: 3 641 Пол: Женский Реальное имя: Юлия Репутация: 55 |
формула выполнима, если хотя бы на одном наборе аргументов принимает значение истина, так?
каждое слагаемое ДНФ соответствует набору, дающему истину. если ДНФ существует, значит, формула выполнима... КНФ - это для того, чтобы проверить, не является ли она тождественно истинной. на будущее - пожалуй, не стоит выкладывать целый лист ради одной строчки... -------------------- Все содержимое данного сообщения (кроме цитат) является моим личным скромным мнением и на статус истины в высшей инстанции не претендует.
На вопросы по программированию, физике, математике и т.д. в аське и личке не отвечаю. Даже "один-единственный раз" в виде исключения! |
|
|
|
|
1 чел. читают эту тему (гостей: 1, скрытых пользователей: 0)
Пользователей: 0
|
Текстовая версия | 20.06.2025 20:54 |