Функции днф и кнф Алгебра логики нормальная форма логической формулы примеры