Обсуждение:ДНФ — различия между версиями
Rybak (обсуждение | вклад) |
Rybak (обсуждение | вклад) |
||
| Строка 10: | Строка 10: | ||
{{tick| ticked=1}} В определении конъюнкта "''Простой конъюнкцией .... встречается не более одного раза.''", и далее "'''правильная''', если в неё каждая переменная входит не более одного раза (включая отрицание);" - нужно оставить "не более одного раза." в одном месте. | {{tick| ticked=1}} В определении конъюнкта "''Простой конъюнкцией .... встречается не более одного раза.''", и далее "'''правильная''', если в неё каждая переменная входит не более одного раза (включая отрицание);" - нужно оставить "не более одного раза." в одном месте. | ||
{{tick| ticked=1}} Какой смысл определять '''полную и правильную,''' конъюнкцию, если в определении СДНФ не используется это определение? | {{tick| ticked=1}} Какой смысл определять '''полную и правильную,''' конъюнкцию, если в определении СДНФ не используется это определение? | ||
| + | |||
{{tick}} "элементарных конъюнкций", "каждая элементарная конъюнкция" - заменить на определенные "Простой конъюнкцией или конъюнктом" | {{tick}} "элементарных конъюнкций", "каждая элементарная конъюнкция" - заменить на определенные "Простой конъюнкцией или конъюнктом" | ||
| + | {{tick}} В разложении Шеннона и примерах отрицание показать так: <tex>\neg x</tex> | ||
| + | {{tick}} Далее в доказательстве: "Т.к применение данного соотношения к каждой ... " - сокращения в вики-конспектах не нужны. | ||
| + | {{tick}} "дизъюнктивных членов" - запутывает, ведь мы определяли конъюнкты | ||
| + | {{tick}} " возможных наборов значений n переменных." - n в TeX | ||
| + | {{tick}} опечатка: "дизъюннктивном" | ||
| + | {{tick}} Пояснить, почему нельзя сделать 0 | ||
| + | {{tick}} Для исключающего или показана не СДНФ | ||
| + | {{tick}} Указать, что в примере строиться СДНФ для медианы | ||
Версия 20:58, 26 февраля 2012
Замечания
☑ Добавить примеры построения СДНФ по алгоритму для каких-то функций трех переменных (например медианы). ☑ Перенести из Определение булевой функции всю информацию про ДНФ сюда. ☑ Отдельно записать == Алгоритм построения СДНФ ==. Потом === Пример ===. ☑ < xyz > занести в TeX ☑ Из примера убрать медиану ☑ Добавить СДНФ других функций. ☑ Нормальные ссылки на Википедию ☑ В определении конъюнкта "Простой конъюнкцией .... встречается не более одного раза.", и далее "правильная, если в неё каждая переменная входит не более одного раза (включая отрицание);" - нужно оставить "не более одного раза." в одном месте. ☑ Какой смысл определять полную и правильную, конъюнкцию, если в определении СДНФ не используется это определение?
☐ "элементарных конъюнкций", "каждая элементарная конъюнкция" - заменить на определенные "Простой конъюнкцией или конъюнктом" ☐ В разложении Шеннона и примерах отрицание показать так: ☐ Далее в доказательстве: "Т.к применение данного соотношения к каждой ... " - сокращения в вики-конспектах не нужны. ☐ "дизъюнктивных членов" - запутывает, ведь мы определяли конъюнкты ☐ " возможных наборов значений n переменных." - n в TeX ☐ опечатка: "дизъюннктивном" ☐ Пояснить, почему нельзя сделать 0 ☐ Для исключающего или показана не СДНФ ☐ Указать, что в примере строиться СДНФ для медианы
