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