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