Изменения

Перейти к: навигация, поиск

Обсуждение:ДНФ

493 байта добавлено, 22:49, 12 марта 2012
Нет описания правки
=== Замечания ===
{{tick| ticked=1}} Добавить примеры построения СДНФ по алгоритму для каких-то функций трех переменных (например медианы).{{tick| ticked=1}} Перенести из [[Определение булевой функции]] всю информацию про ДНФ сюда.{{tick| ticked=1}} Отдельно записать <nowiki>== Алгоритм построения СДНФ ==</nowiki>. Потом <nowiki>=== Пример ===</nowiki>.{{tick| ticked=1}} < xyz > занести в TeX{{tick| ticked=1}} Из примера убрать медиану{{tick| ticked=1}} Добавить СДНФ других функций.{{tick| ticked=1}} Нормальные ссылки на Википедию{{tick| ticked=1}} В определении конъюнкта "''Простой конъюнкцией .... встречается не более одного раза.''", и далее "'''правильная''', если в неё каждая переменная входит не более одного раза (включая отрицание);" - нужно оставить "не более одного раза." в одном месте.{{tick| ticked=1}} Какой смысл определять '''полную и правильную,''' конъюнкцию, если в определении СДНФ не используется это определение?{{tick | ticked=1}} "элементарных конъюнкций", "каждая элементарная конъюнкция" - заменить на определенные "Простой конъюнкцией или конъюнктом"{{tick | ticked=1}} В разложении Шеннона и примерах отрицание показать так: <tex>\neg x</tex>{{tick | ticked=1}} Далее в доказательстве: "Т.к применение данного соотношения к каждой ... " - сокращения в вики-конспектах не нужны.{{tick | ticked=1}} "дизъюнктивных членов" - запутывает, ведь мы определяли конъюнкты{{tick | ticked=1}} " возможных наборов значений n переменных." - n в TeX{{tick | ticked=1}} опечатка: "дизъюннктивном"{{tick | ticked=1}} Для исключающего или показана не СДНФ{{tick | ticked=1}} Указать, что в примере строиться СДНФ для медианы{{tick | ticked = 1}} В TeX есть перевод строки. Не нужно использовать перевод строки из mediawiki* Поправил сам --[[Участник:Rybak|Андрей Рыбак]] 23:48, 12 марта 2012 (GST) <s>{{tick}} Сделать таблицы не серыми.</s>
{{tick}} "элементарных конъюнкций", "каждая элементарная конъюнкция" - заменить на определенные "Простой конъюнкцией или конъюнктом"
{{tick}} В разложении Шеннона и примерах отрицание показать так: <tex>\neg x</tex>
{{tick}} Далее в доказательстве: "Т.к применение данного соотношения к каждой ... " - сокращения в вики-конспектах не нужны.
{{tick}} "дизъюнктивных членов" - запутывает, ведь мы определяли конъюнкты
{{tick}} " возможных наборов значений n переменных." - n в TeX
{{tick}} опечатка: "дизъюннктивном"
{{tick}} Пояснить, почему нельзя сделать 0. '''UPD''': Имеется в виду теорема: "Для любой булевой функции f, не равной тождественному нулю,"
* "очевидно из алгоритма построения" {{tick---}} Для исключающего или показана не СДНФ{{tick}} Указать, что в примере строиться СДНФ для медианыплохое объяснение{{tick| ticked = 1}} Кажется, при массовой замене \vec на \neg некоторые \vec испортились{{tick}} . '''UPD''' В TeX есть перевод строкиусловии теоремы. Не нужно использовать перевод строки из mediawiki* Просмотрел историю правок {{tick---}} Сделать таблицы это было не серыми.\vec, а \overline
1302
правки

Навигация