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