Обсуждение:КНФ — различия между версиями
Rybak (обсуждение | вклад) |
Permenko (обсуждение | вклад) м (переименовал Обсуждение:СКНФ в Обсуждение:КНФ) |
(нет различий)
|
Версия 05:54, 21 декабря 2011
Замечания
☑ Добавить примеры построения СКНФ по алгоритму для каких-то функций трех переменных (например медианы). ☑ Перенести из Определение булевой функции всю информацию про КНФ сюда.