 СКНФ и СДНФ, Логика. |
Компиляция правил для данного раздела
1. Заголовок темы должен быть информативным. В противном случае тема закрывается и удаляется ...
2. НЕ используйте форум для личного общения, все что не относится к обсуждению темы - на PM!
3. Одна тема - один вопрос (задача)
4. Спрашивайте и отвечайте четко и по существу!!!
| 18192123 |
 9.04.2007 18:32
Сообщение
#1
|
 Профи  Группа: Пользователи Сообщений: 920 Пол: Женский Реальное имя: Марина Репутация:  2   |
Помогите доказать следующие теоремы:
1. если формула имеет совершенную дизъюнктивную форму, то такая форма единственна. Вот мои соображения: пусть формула фи имеет 2 различные формы: СДНФ1 и СДНФ2. пусть некая элементарная конъюнкция СДНФ1 не содержится в сДнф2. Дальше ... не знаю....наверное задать литералам (элементарным высказываниям или их отрицаниям), вход. в эту элементарн. конъюнкцию, какие-то значения..... ??? 2. Доказать, что тождественно-истинная и тождественно-ложная фомулы не имеют совершенных форм. Мне кажется, что исходить нужно из того, что каждый литерал ( элементарное высказывание или его отрицание) входит по 1 разу в элементарн. дизъюнкцию или конъюнкцию..... Сообщение отредактировано: 18192123 - 9.04.2007 18:33 |
   |
 
|
  |
Ответов
| мисс_граффити |
9.04.2007 21:16
Сообщение
#2
|
 просто человек Группа: Модераторы Сообщений: 3 641 Пол: Женский Реальное имя: Юлия Репутация: 55 |
Одна не имеет СДНФ, другая не имеет СКНФ.
То есть каждая из них лишена только одной из совершенных форм. -------------------- Все содержимое данного сообщения (кроме цитат) является моим личным скромным мнением и на статус истины в высшей инстанции не претендует.
На вопросы по программированию, физике, математике и т.д. в аське и личке не отвечаю. Даже "один-единственный раз" в виде исключения! |
|
|
|
Сообщений в этой теме
18192123 СКНФ и СДНФ 9.04.2007 18:32
мисс_граффити 1. ....
то есть существует некая эл. кон, вход в С... 9.04.2007 18:46
18192123
2. Здрааасте. Имеют. Только по одной, а не две,... 9.04.2007 20:36 КМА
Тождественно-истинная формула есть тавтология, з... 9.04.2007 20:25 |
1 чел. читают эту тему (гостей: 1, скрытых пользователей: 0)
Пользователей: 0
|
Текстовая версия | 10.12.2025 6:27 |