Solution (source code)

= Solution

If $b\le c$, then $b\to c=1$ and $T=1\to a=a$. If $b>c$, then $b\to c=c$, so $T=c\to a$, which is $1$ exactly when $c\le a$ and is $a$ otherwise.