Вопрос про СДНФ (дискретная математика/матлогика)

[Astro]

Вот есть такое определение СДНФ:
Формула Ф(х₁,...,х_n) называется СДНФ, если:
1) Она ДНФ
2) Любой конъюнкт имеет вид: x₁^E₁^...^x_n^E_n, E_i принадлежит {0,1}
3) В Ф нет одинаковых конъюнктов
4) Однозначность с точностью до порядка следования конъюнктов

Объясните, пожалуйста, что означает четвертый пункт "Однозначность с точностью до порядка следования конъюнктов"?

[Astro]

Т.е. если например поменять какие-нибудь две конъюнкты местами, то это уже будут разные СДНФ? Или что это значит?

[InfStudent]

Ну вобще получается именно так, хотя с точки зрения дизъюнкции порядок следования не важен,важным получается только следование самих внешних дизъюнкций

[InfStudent]

Пример СДНФ:
.
Как мы видим дейсвтительно изменение порядка следования конъюктивов может изменитьсмысл функции       

[InfStudent]

ссылка

[InfStudent]

Вобще это следует из метода нахождения СДНФ,который прочтем вот здесь,http://ru.wikipedia.org/wiki/%D0%A1%D0%94%D0%9D%D0%A4 а про саму ДНФ  ссылка. Вобще похже вся эта свистопляска идет от приведения к ДНФ, так как уже там наблюдается зависимость от порядка следования. Вобще получается что дейсвтительно по таблицам истинности перемены мест ведут к различным истинностным значениям. Ну сами по судите: у вас пр и одном положении переменная истинна, а поставь другую на ее место даже переставь и вот она с ложным значением и ее надо представлять инвертированной         

[InfStudent]

Вот все же лучше процетировать Вики:
(Условия СДНФ)
каждая элементарная конъюнкция содержит каждую пропозициональную букву из входящих в данную ДНФ пропозициональных букв, причем в одинаковом порядке.
 И тогда становится ясно из таблиц истинности и методов получения ДНФ, что при изменении порядка следования членов  СДНФ  у нас в основе СДНФ появляется и другая ДНФ

[Astro]

Благодарствую 

[andreipetrov]

Если еще интересно попробуй порыться здесь ссылка Там есть несколько методичек актуальных