Lambda Calculus.
Function တွေနဲ.ပဲ define လုပ်တယ်။ Boolean တခုသည် တန်ဖိုး 2 ခုကိုလက်ခံတယ် ဉပမာ frist, second ဆိုပါစို., Chruch Boolean True သည် input 2 ခုက ပထမတခုကို return ပြန်တယ် ပေးထားတဲ့ဉပမာဆို first ကို return ပြန်မယ် False ကျတော့ ဒုတိယတခု second ကုိ return ပြန်တယ်။ Lambda calculus notation နဲ.ဆို