これは具体的に次のように定義できる：T=KF=SKKxy=xSKxy=Ky(xy)=y真と偽を定義すれば、今やブール論理の全ての演算はif-then-else構造によって実装できる。
第一个表现如同我们的基本组合子之一：T=KKxy→x第二个也非常简单：F=KIKIxy→Iy→y一旦定义了真和假，所有布尔逻辑都可以用if-then-else结构的形式来实现。