(۲۰ فروردین ۱۳۹۶ ۱۰:۵۹ ب.ظ)wskf نوشته شده توسط:  سلام دوستان
میشه این سوال رو توضیح بدید که چجوری تو عبارت زیر برنامه cut میشه . ؟

کلا ی توضیح در مورد سوال زیر می خوام
ممنون

سلام دوست من
Cut به این صورت هست که اگر در خط اول، مقداری برای a یافت شود ( اولین مقدار ممکن) جست و جو متوقف شده (Cut شده) و جست و جوی مقدار ممکن برای b آغاز می شود. ولی اگر مقداری برای a یافت نشد، جست و جو متوقف شده (Cut شده) و به خط بعدی می رویم. پس
[tex][(a\: \wedge\: b)\: \vee\: (a'\: \wedge\: c)]\: \rightarrow\: p[/tex]

ممنون
زحمت کشیدید.