Обсуждение:КНФ — различия между версиями
Permenko (обсуждение | вклад) м (переименовал Обсуждение:СКНФ в Обсуждение:КНФ) |
Rybak (обсуждение | вклад) м |
||
| Строка 3: | Строка 3: | ||
{{tick| ticked=1}} Добавить примеры построения СКНФ по алгоритму для каких-то функций трех переменных (например медианы). | {{tick| ticked=1}} Добавить примеры построения СКНФ по алгоритму для каких-то функций трех переменных (например медианы). | ||
{{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}} Нормальные ссылки на Википедию | ||
Версия 03:54, 17 января 2012
Замечания
☑ Добавить примеры построения СКНФ по алгоритму для каких-то функций трех переменных (например медианы). ☑ Перенести из Определение булевой функции всю информацию про КНФ сюда. ☑ Отдельно записать == Алгоритм построения СКНФ ==. Потом === Пример ===. ☑ < xyz > занести в TeX ☑ Из примера убрать медиану ☑ Добавить СКНФ других функций. ☑ Нормальные ссылки на Википедию
