как-то больше математично?
Есть много вариантов, но есть традиции. Я не вижу смысла полодить варианты, когда есть хороший вариант. Задача как раз не множить эти варианты
Reduce близкое понятие, но используются, когда вы точно знаете, что есть нормальная форма. В Хаскеле,к примеру, это не так
Упростить это тоже допустимая форма, но опять же, далека от программирования (и литературы по нему) и предполагает нормальную форму. В некоторых источниках reduce переводят как упростить, несколько я помню
Обсуждают сегодня