Изменения

� Добавить примеры построения СКНФ по алгоритму для каких-то функций трех переменных (например медианы).

� Перенести из [[Определение булевой функции]] всю информацию про КНФ сюда.