سوال: تبدیل منطق مرتبه ی اول به CNF [بایگانی]

m.h.movahedi

پنج شنبه 15 اردیبهشت 1390, 19:29 عصر

سلام دوستان کسی الگوریتم تبدیل منطق مرتبه ی اول به CNF رو میدونه؟

m.h.movahedi

جمعه 16 اردیبهشت 1390, 13:56 عصر

یه کمک کو چولو هم کسی نمیتونه کنه.
منظور از CNF عطفی نرماله.