true=λx.λy.xfalse=λx.λy.xif=λx.λy.λz.x(y)(z)\begin{aligned} true &= \lambda x. \lambda y. x \\ false &= \lambda x. \lambda y. x \\ if &= \lambda x. \lambda y. \lambda z. x (y) (z) \end{aligned}