Изменения

&#9744; {{tick | ticked = 1}} Добавить примеры построения СКНФ по алгоритму для каких-то функций трех переменных (например медианы).{{tick | ticked = 1}} Перенести из [[Определение булевой функции]] всю информацию про КНФ сюда.{{tick | ticked = 1}} Отдельно записать <nowiki>== Алгоритм построения СКНФ ==</nowiki>. Потом <nowiki>=== Пример ===</nowiki>.{{tick | ticked = 1}} < xyz > занести в TeX{{tick | ticked = 1}} Из примера убрать медиану{{tick | ticked = 1}} Добавить СКНФ других функций.{{tick | ticked = 1}} Нормальные ссылки на Википедию{{tick | ticked = 1}} В определении дизъюнкта "''Простой дизъюнкцией .... встречается не более одного раза.''", и далее "'''правильная''', если в неё каждая переменная входит не более одного раза (включая отрицание);" - нужно оставить "не более одного раза." в одном месте.{{tick | ticked = 1}} Какой смысл определять '''полную и правильную,''' дизъюнкцию, если в определении СКНФ не используется это определение?{{tick | ticked = 1}} "Так как СКНФ получена из СДНФ, которая может быть посторена для любой функции, то теорема доказана." - [[ДНФ | СДНФ]] может быть построена для любой функции, '''не равной тождественному нулю'''. <s>{{tick}} Сделать таблицы не серыми.</s>