سلام دوستان
میشه این سوال رو توضیح بدید که چجوری تو عبارت زیر برنامه cut میشه . ؟
کلا ی توضیح در مورد سوال زیر می خوام
ممنون
![[تصویر: 434467_k7ps_28022017736.jpg]](https://img.manesht.ir/434467_k7ps_28022017736.jpg)
(۲۰ فروردین ۱۳۹۶ ۱۰:۵۹ ب.ظ)wskf نوشته شده توسط: سلام دوستان
میشه این سوال رو توضیح بدید که چجوری تو عبارت زیر برنامه cut میشه . ؟
کلا ی توضیح در مورد سوال زیر می خوام
ممنون
سلام دوست من
Cut به این صورت هست که اگر در خط اول، مقداری برای a یافت شود ( اولین مقدار ممکن) جست و جو متوقف شده (Cut شده) و جست و جوی مقدار ممکن برای b آغاز می شود. ولی اگر مقداری برای a یافت نشد، جست و جو متوقف شده (Cut شده) و به خط بعدی می رویم. پس
[tex][(a\: \wedge\: b)\: \vee\: (a'\: \wedge\: c)]\: \rightarrow\: p[/tex]
ممنون
زحمت کشیدید.