سلام
شما اگه به شماره ۲ که نوشتم دقت کنی متوجه میشی که گفتم : "۲-ترکیب فصلی چند سمبل گذاره ای که حداکثر یکی از آنها بدون NOT باشه"
این یعنی همش NOT داشته باشه یا فوقش یکیش بدون NOT باشه

و منظور من از این جمله "واسه A or B که دوسته دیگمون گفته باید حداکثر یه NOT داشته باشه" اینه که توی جمله A or B باید یکیش با NOT باشه

دوستان Calm Boy و Explorer مشکلی تو مفهوم جمله ی هورن نیست.به عبارت خیلی راحت جمله ای رو هورن میگن حداکثر یک لیترال مثبت داشته باشه! همین

منتهی داخل سه مثالی که من آوردم، همین شرط برقراره ولی راهیان ارشد گفته که هورن نیست، که باید باشه

(۱۱ آذر ۱۳۹۲ ۰۹:۳۲ ب.ظ)sixsixsix نوشته شده توسط:  داخل کتاب گفته که دوتا عبارت زیر جز جملات هورن نــــیستند

۱) (A and ~B)~
A or ~(A and B) (2

به نظر من این عبارات، با یه تبدیل ساده تبدیل به هورن میشن و هورن هستند

من فکر کنم منظورش این بوده که این مدل نمایش ِ گزاره در فرم نرمال هورن نیست، نه اینکه قابل تبدیل به فرم نرمال هورن نباشه...
در ضمن تو کتاب من جمله دوم، A, B, C داره، نه دوتا A.

تو کتاب راهیان A or B رو هم گفته horn نیست !
چرا ؟!

(۱۲ آذر ۱۳۹۲ ۰۲:۲۶ ق.ظ)calm boy نوشته شده توسط:  تو کتاب راهیان A or B رو هم گفته horn نیست !
چرا ؟!

از جوابتون ممنونم. کتاب من چاپ ۹۱ هست. میتونم بپرسم کتاب شما چاپ چه سالی هست؟؟
شاید اگه کتابتون چاپ جدید باشه، اصلاح شده باشه

اگه میشه جمله ۲ رو هم نگاه کنید،ببینید داخل کتاب شما چی گفته؟؟
ممنون

---

(۱۲ آذر ۱۳۹۲ ۰۲:۲۶ ق.ظ)calm boy نوشته شده توسط:  تو کتاب راهیان A or B رو هم گفته horn نیست !
چرا ؟!

دوست عزیز صفحه ی ۲۵۰ کتاب من اینا رو نوشته، تازه اینرو هم نوشته:
A or NOT(B and C) (3
و گفته که هورن نیست

همه ی این مثالها صفحه ی ۲۵۰ کتاب هوش راهیان چاپ ۹۱ هست. اگه کتابتون چاپ جدید هست، لطف کنید بررسی کنید و بهم اطلاع بدید.

به این جملات خوب دقت کنید به جواب می رسید

فرم نرمال HNF باید شرایط زیر رو داشته باشه:

۱-یک سمبل گذاره ای بدون NOT یا با NOT

۲-ترکیب فصلی چند سمبل گذاره ای که حداکثر یکی از آنها بدون NOT باشه

۳-یک ترکیب شرطی به طوری که سمت راست شرط فقط یک سمبل بدون NOT و سمت چپ شرط ترکیب عطفی یک یا چند سمبل بدون NOT باشد.

ترکیب فصلی : OR بین چند سمبل
ترکیب عطفی : AND بین چند سمبل

---

(۱۱ آذر ۱۳۹۲ ۰۹:۳۲ ب.ظ)sixsixsix نوشته شده توسط:  با سلام خدمت همگی دوستان
داخل کتاب راهیان ارشد برای نشان دادن عبارات هورن چند تا مثال آورده ولی دو تا مثال آورده که خیلی عجیبه!!!

داخل کتاب گفته که دوتا عبارت زیر جز جملات هورن نــــیستند

۱) (A and ~B)~

البته واسه این [tex]A or NOT (B and C)[/tex] و اونی شماره ۱ که شما گفتی نمیدونم داستانش چیه
ولی واسه دومی که شما گفتید تباید NOT a و a در یه جمله باشن
واسه A or B که دوسته دیگمون گفته باید حداکثر یه NOT داشته باشه

(۱۲ آذر ۱۳۹۲ ۰۲:۵۶ ق.ظ)explorer نوشته شده توسط:  واسه A or B که دوسته دیگمون گفته باید حداکثر یه NOT داشته باشه

دوست عزیز خودتم که میگی
حداکثر یدونه not داشته باشه
این یعنی بدون not باشه یا فوقش یدونه not داشته باشه !

خو منم همینو گفتم ولی به یه نحو دیگه
پس A or B هورن نیست
واسه جمله شماره ۲ شما a و not a نباید با هم یه جا باشن