Recall that under Church encoding, we have the following definitions: IF Xbt f. bt f TRUE...

Transcribed Image Text:

Recall that under Church encoding, we have the following definitions: IF Xbt f. bt f TRUE = Xt f. t FALSE Xt f. f a) (2pt) Fully evaluate (x. (x y TRUE)) FALSE so that no further -reduction is possible.. b) (4pt) Define XOR using X-calculus and IF TRUE FALSE as defined above. Show that with your definition, XOR FALSE TRUE fully evaluates to TRUE. And that XOR TRUE TRUE fully evaluates to FALSE. Show every step of the evaluation. Recall that under Church encoding, we have the following definitions: IF Xbt f. bt f TRUE = Xt f. t FALSE Xt f. f a) (2pt) Fully evaluate (x. (x y TRUE)) FALSE so that no further -reduction is possible.. b) (4pt) Define XOR using X-calculus and IF TRUE FALSE as defined above. Show that with your definition, XOR FALSE TRUE fully evaluates to TRUE. And that XOR TRUE TRUE fully evaluates to FALSE. Show every step of the evaluation.

Answer rating: 100% (QA)

a To fully evaluate x x y TRUE FALSE we substitute FALSE for x and evaluate th... View the full answer