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

Материал из Викиконспекты
Перейти к: навигация, поиск

Замечания

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