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