Что является следствием теоремы стандартизации?
(Отметьте один правильный вариант ответа.)
Варианты ответа
применение нормального порядка редукции позволяет всегда получить нормальную форму(Верный ответ)
применение аппликативного порядка редукции позволяет всегда получить нормальную форму
если нам удалось редуцировать выражение до нормальной формы, то эта форма единственная с точностью до альфа-преобразования, вне зависимости от порядка редукции
если нам удалось редуцировать выражение до нормальной формы, то эта форма единственная, вне зависимости от порядка редукции