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

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

Текущая версия на 22:46, 12 марта 2012

Замечания

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

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