Обсуждение:ДНФ — различия между версиями

Материал из Викиконспекты
Перейти к: навигация, поиск
Строка 23: Строка 23:
 
{{tick}} Кажется, при массовой замене \vec на \neg некоторые \vec испортились
 
{{tick}} Кажется, при массовой замене \vec на \neg некоторые \vec испортились
 
{{tick}} В TeX есть перевод строки. Не нужно использовать перевод строки из mediawiki
 
{{tick}} В TeX есть перевод строки. Не нужно использовать перевод строки из mediawiki
 +
{{tick}} Сделать таблицы не серыми.

Версия 20:32, 12 марта 2012

Замечания

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

"элементарных конъюнкций", "каждая элементарная конъюнкция" - заменить на определенные "Простой конъюнкцией или конъюнктом" В разложении Шеннона и примерах отрицание показать так: [math]\neg x[/math] Далее в доказательстве: "Т.к применение данного соотношения к каждой ... " - сокращения в вики-конспектах не нужны. "дизъюнктивных членов" - запутывает, ведь мы определяли конъюнкты " возможных наборов значений n переменных." - n в TeX опечатка: "дизъюннктивном" Пояснить, почему нельзя сделать 0. UPD: Имеется в виду теорема: "Для любой булевой функции f, не равной тождественному нулю," Для исключающего или показана не СДНФ Указать, что в примере строиться СДНФ для медианы

Кажется, при массовой замене \vec на \neg некоторые \vec испортились В TeX есть перевод строки. Не нужно использовать перевод строки из mediawiki Сделать таблицы не серыми.