3622
правки
Изменения
м
→Решение
=== Решение ===
В нормальной форме нет редукций. Если нормальная форма существует, то её можно достичь при помощи редукций нормальным порядком, а аппликативным можно и не достичь.
# Уже в нормальное форме, как ни странно
