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