با سلام خدمت دوستان
این مقاله منطق مسندها را خیلی خوب و کامل توضیح داده (استادمون فایلشو داده) متاسفانه منبع رو متاسفانه ندارم .اگه کسی منبع این فایل میدونه به مدیران تالار اعلام که اضافه بفرمایند .
در ضمن سایت زیر مربوط به یک مثال در مورد تبدیل wffبه pnf , pnfبه cnf است که خیلی کامل توضیح داده...