Изменения

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

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