Обсуждение:ДНФ — различия между версиями
Rybak (обсуждение | вклад) м |
Rybak (обсуждение | вклад) м |
||
| Строка 8: | Строка 8: | ||
{{tick| ticked=1}} Добавить СДНФ других функций. | {{tick| ticked=1}} Добавить СДНФ других функций. | ||
{{tick| ticked=1}} Нормальные ссылки на Википедию | {{tick| ticked=1}} Нормальные ссылки на Википедию | ||
| + | {{tick}} В определении конъюнкта "''Простой конъюнкцией .... встречается не более одного раза.''", и далее "'''правильная''', если в неё каждая переменная входит не более одного раза (включая отрицание);" - нужно оставить "не более одного раза." в одном месте. | ||
| + | {{tick}} Какой смысл определять '''полную и правильную,''' конъюнкцию, если в определении СДНФ не используется это определение? | ||
Версия 06:14, 17 января 2012
Замечания
☑ Добавить примеры построения СДНФ по алгоритму для каких-то функций трех переменных (например медианы). ☑ Перенести из Определение булевой функции всю информацию про ДНФ сюда. ☑ Отдельно записать == Алгоритм построения СДНФ ==. Потом === Пример ===. ☑ < xyz > занести в TeX ☑ Из примера убрать медиану ☑ Добавить СДНФ других функций. ☑ Нормальные ссылки на Википедию ☐ В определении конъюнкта "Простой конъюнкцией .... встречается не более одного раза.", и далее "правильная, если в неё каждая переменная входит не более одного раза (включая отрицание);" - нужно оставить "не более одного раза." в одном месте. ☐ Какой смысл определять полную и правильную, конъюнкцию, если в определении СДНФ не используется это определение?
