Lambda Calculus.
ဖြစ်မယ်ဆိုရင် ဒုတိယ argument ကိုရွေးရမယ်(False definition အရ) ဒါဆို p က false ဖြစ်တယ်ဆိုတဲ့ယူဆချက်အတွက် p(_)(p) ဖြစ်မယ် တကယ်လို. P က true ဖြစ်ရင်တော့ q အပေါ်မူတည်သွားပြီ အဲ့တော့ True သည် ပထမတခုကို ယူမှာ အဲ့တော့ p(q)(p) ဖြစ်မယ်။ Or ကိုအဲ အဲ့သဘောသုံးပြီးတည်ဆောက်နိုင်တယ် OR = p => q => p(p)(q)