(۱۱ آذر ۱۳۹۳ ۰۶:۵۱ ب.ظ)Elena_71 نوشته شده توسط:  فک کنم یکی ازینا رو درست متوجه شم بقیه همونجور باشه

اولی : در HNF ترکیبهای شرطی در سمت راستشون فقط باید یک سمبل مثبت باشه

دومی : اون عبارت اولی واسه این CNF نیست چون که باید باید ترکیب فصلی باشه نه عطفی همچنین نات نباید قبل از پرانتز بیاد و عبارت دومیش باید ترکیب عطفی باشه یعنی اونوسط باید ^ باشه

سومی : در CNF و DNF نات قبل از پرانتز نمیاد فقط قبل از سمبل میاد.