Обсуждение:КНФ

Материал из Викиконспекты
(перенаправлено с «Обсуждение:СКНФ»)
Перейти к: навигация, поиск

Замечания

Добавить примеры построения СКНФ по алгоритму для каких-то функций трех переменных (например медианы). Перенести из Определение булевой функции всю информацию про КНФ сюда. Отдельно записать == Алгоритм построения СКНФ ==. Потом === Пример ===. < xyz > занести в TeX Из примера убрать медиану Добавить СКНФ других функций. Нормальные ссылки на Википедию В определении дизъюнкта "Простой дизъюнкцией .... встречается не более одного раза.", и далее "правильная, если в неё каждая переменная входит не более одного раза (включая отрицание);" - нужно оставить "не более одного раза." в одном месте. Какой смысл определять полную и правильную, дизъюнкцию, если в определении СКНФ не используется это определение? "Так как СКНФ получена из СДНФ, которая может быть посторена для любой функции, то теорема доказана." - СДНФ может быть построена для любой функции, не равной тождественному нулю.

Сделать таблицы не серыми.