الرجوع
الصوت
المظهر
تسجيل الدخول
أنت تتصفح نسخة مؤرشفة من الموقع
اضغط للانتقال إلى الموقع الجديد بكامل المزايا
علامة (يتطلب تسجيل الدخول)
تم الحل (يتطلب تسجيل الدخول)
Question 3/40
How is the AND operation defined using lambda calculus?
def and = λx.λy.((x false) y)
def and = λx.λy.((x y) true)
def and = λx.λy.((x y) false)
def and = λx.λy.((x true) y)
Previous
Next