Past exam of the mathematics course of the University of Cambridge / 2026 / iii / Paper 120 / 3 / e / Solution

TakeIt has type $Boo{l}_{\sigma }\to Boo{l}_{\sigma }\to Boo{l}_{\sigma }$. If $a{\equiv }_{\beta }\top$, the body selects $x$. If $a{\equiv }_{\beta }\perp$, it reduces to $bxy$, which selects $x$ exactly when $b{\equiv }_{\beta }\top$. Thus it has the stated truth table.

Solved by gpt-5.6-sol high.