ممنون که این همه توضیح دادی
ولی هدف من از این سوال ۱ نکته بود که حتی بعضی کتابهای کنکوری هم ازش غفلت کردن.

این پایگاه دانش ۲ جمله ای فرضی بود.

اگه از این پایگاه دانش [tex]c\vee d[/tex] رو نتیجه گرفتی،باید بگم که کاملا اشتباست

نمیشه ۲ لیترال a,b رو همزمان ازش حذف کرد.چون اصلا این کار از پایه غیر منطقیه.

از الگوریتم رزولوشن اینجوری میشه در مورد پایگاه دانش بالا استفاده کرد:
[tex]b\vee\neg b\vee c\vee d=true[/tex]

نکته ای رو که میگی دقیقا توی پارسه گفته شده.
بعدش باز هم یه گندی راهیان ارشد زده.چرا؟؟ نیومده کلا بگه این کار غیر منطقیه؛ فقط در طرف دوم هر عبارتی که قابلیت رزولوشن داره (عباراتی که ترکیب فصلی هستند) یک دونه نقیض وارد کرده، یعنی سمت دوم هر حالت رو یک نقیض زده،چه در رزولوشن واحد و چه در کلیت قانون رزولوشن.(اینو به این صورت میشه تفسیر کرد که تنها یک نقیض میشه در یک سمت از عبارات داشته باشیم،که البته توجیه منه تا تفسیر واقعی،شاید بشه دو تا نقیض داشت و اما تنها یکی رو حذف کرد،درست عین سوال تو)خاک بر سر راهیان ارشد

کاری که پارسه کرده اینه که در هر دو سمت دو عبارتی که قراره رزولوشن کنیم تنها ترکیب فصلی گذاشته،و صراحتا و در قالب یک نکته گفته که که بیش از یک عبارت نمیتونیم حذف کنیم.
سپاس به خاطر دقتت

---

مثال پارسه رو هم بزنم اینجا هم به خاطر خودِ بد بختم هم به خاطر دوستانی که سر میزنن،البته گفته ی رضا کاملا صحیح و کامله اما یه مثال آب پاکی رو بهتر روی دست همه میریزه:
مثال ۹ صفحه ۱۵۵ پارسه(کتابشو تازه خریدم)
ابتدا یه نکته : در هر بار رزولوشن زدن فقط مجاز هستیم یک زوج عبارت را حذف کنیم و نه بیشتر
اگر عبارت های [tex]\sim l_2\vee\: l_3\vee\: l_5\: [/tex] و [tex]l_1\: \vee\: \: l_2\: \vee\: l_4\: \vee\: \sim\: l_5\: [/tex]
را داشته باشیم؛یک بار میتوانیم روی زوج [tex](l_{_2}\: و\: \: \sim l_2)[/tex] رزولوشن بزنیم که نتیجه میشود :
[tex](l_1\: \: \vee\: l_4\: \: \vee\sim l_5\: \: \: \vee\: l_5\: \: \: )[/tex]
این عبارت به دلیل وجود [tex]∼l5∨l5[/tex]همیشه درست خواهد بود (true) و بار دیگر روی زوج [tex](\sim l_5\: \: و\: l_5\: \: \: )[/tex]
که نتیجه میشود : [tex](l_1\vee l_2\: \vee\: l_4\: \vee\: \sim l_2\: \vee\: l_3\: \: )[/tex]
که به دلیل وجود : [tex](l_2\: ,\: \sim l_2\: \: \: )[/tex] این جمله هم TRUE خواهد بود. اما عبارت : [tex]l_1\vee\: l_4\vee\: l_3[/tex]
نتیجه ی رزولوش این دو عبارت نخواهد بود