فک کنم یکی ازینا رو درست متوجه شم بقیه همونجور باشه
(۱۱ آذر ۱۳۹۳ ۰۶:۵۱ ب.ظ)Elena_71 نوشته شده توسط: فک کنم یکی ازینا رو درست متوجه شم بقیه همونجور باشهاولی : در HNF ترکیبهای شرطی در سمت راستشون فقط باید یک سمبل مثبت باشه
دومی : اون عبارت اولی واسه این CNF نیست چون که باید باید ترکیب فصلی باشه نه عطفی همچنین نات نباید قبل از پرانتز بیاد و عبارت دومیش باید ترکیب عطفی باشه یعنی اونوسط باید ^ باشه
سومی : در CNF و DNF نات قبل از پرانتز نمیاد فقط قبل از سمبل میاد.