(۱۵ آذر ۱۳۹۳ ۱۰:۳۶ ب.ظ)zahra.s نوشته شده توسط:  در کتاب هوش راهیان برای تشخیص فرم نرمال فصلی ۳ بند گفته که دومیش اینه :
" یک عبارت ساده شامل ترکیب عطفی چند سمبل گزاره ای
مثالش هم اینه p1 ∩~p2 ∩ p3 ∩ p4

سوالم اینه اگه نقیض p2 نبود و خود p2 بود هم این به فرم نرمال فصلی میبود؟؟ یعنی لازم نیست حتماً نقیض یک عبارت باشه؟ چون دقیقاً صفحه ی بعدش در مثال الف گفته A ∩ B در فرم نرمال عطفی هست!

(۱۵ آذر ۱۳۹۳ ۱۱:۲۸ ب.ظ)explorer نوشته شده توسط:  

(15 آذر ۱۳۹۳ ۱۰:۳۶ ب.ظ)zahra.s نوشته شده توسط:  در کتاب هوش راهیان برای تشخیص فرم نرمال فصلی ۳ بند گفته که دومیش اینه :
" یک عبارت ساده شامل ترکیب عطفی چند سمبل گزاره ای
مثالش هم اینه p1 ∩~p2 ∩ p3 ∩ p4

سوالم اینه اگه نقیض p2 نبود و خود p2 بود هم این به فرم نرمال فصلی میبود؟؟ یعنی لازم نیست حتماً نقیض یک عبارت باشه؟ چون دقیقاً صفحه ی بعدش در مثال الف گفته A ∩ B در فرم نرمال عطفی هست!

جواب سوال اولتون بله هست.یعنی لازم نیست حتما یک نات داشته باشیم.
در مورد سوال دومتون به کتاب خوب توجه کنید اون مثالی که شما میگی بالاش نوشته فرم نرمال DNF یعنی فصلی

(۱۵ آذر ۱۳۹۳ ۱۱:۲۸ ب.ظ)explorer نوشته شده توسط:  

(15 آذر ۱۳۹۳ ۱۰:۳۶ ب.ظ)zahra.s نوشته شده توسط:  در کتاب هوش راهیان برای تشخیص فرم نرمال فصلی ۳ بند گفته که دومیش اینه :
" یک عبارت ساده شامل ترکیب عطفی چند سمبل گزاره ای
مثالش هم اینه p1 ∩~p2 ∩ p3 ∩ p4

سوالم اینه اگه نقیض p2 نبود و خود p2 بود هم این به فرم نرمال فصلی میبود؟؟ یعنی لازم نیست حتماً نقیض یک عبارت باشه؟ چون دقیقاً صفحه ی بعدش در مثال الف گفته A ∩ B در فرم نرمال عطفی هست!

جواب سوال اولتون بله هست.یعنی لازم نیست حتما یک نات داشته باشیم.
در مورد سوال دومتون به کتاب خوب توجه کنید اون مثالی که شما میگی بالاش نوشته فرم نرمال DNF یعنی فصلی