بچه ها میشه لطفا فوری فوری این مشکل رو حل کنین
متغیر های ازاد و محدود مشخص شه. λx.xz) λy.wλw.wyzx)
الان ب نظر من این جوری میاد: از چپ به راست
x محدود
z ازاد
w ازاد
y ازاد
z ازاد
x ازاد
جواب همه ی اینایی که گفتمه به جز این که y را ازاد نگرفته(y اخر که بعد از w و قبل از z است)
