برای تبدیل منطق مرتبه اول به CNF:
- تبدیل به شکل عادی نفی. حذف مفاهیم و معادلات: به طور مکرر با; تعویض با. …
- متغیرها را استاندارد کنید. …
- بیانیه را اسکلمی کنید. …
- همه کمیت‌کننده‌های جهانی را کنار بگذارید.
- توزیع ORها به داخل روی ANDها: به طور مکرر با. جایگزین کنید
فرمول CNF چیست؟
شکل نرمال ربطی (CNF) رویکردی به منطق بولی است که فرمول ها را به صورت ربط جملات با AND یا OR بیان می کند. هر عبارتی که توسط یک حرف ربط یا AND به هم متصل می شود، باید یا یک حرف لفظی باشد یا حاوی یک تفکیک یا عملگر OR باشد. CNF برای اثبات خودکار قضیه مفید است.
آیا می توانید DNF را به CNF تبدیل کنید؟
اگر مایل به معرفی متغیرهای اضافی هستید، می توانید با استفاده از تبدیل Tseitin از DNF به CNF در زمان چند جمله ایتبدیل کنید. فرمول CNF به دست آمده با فرمول اصلی DNF قابل ارضا خواهد بود: فرمول CNF در صورتی و فقط در صورتی قابل رضایت خواهد بود که فرمول اصلی DNF قابل قبول باشد.
چگونه می توانم CNF دریافت کنم؟
به سادگی جدول حقیقت را که پیدا کردن آن بسیار ساده است بنویسید و CNF و DNF خود را استنباط کنید. اگر می‌خواهید DNF را پیدا کنید، باید به تمام ردیف‌هایی که با T ختم می‌شوند نگاه کنید. وقتی آن ردیف‌ها را پیدا کردید، مقادیر x، y و z را از هر ستون مربوطه بگیرید. بنابراین، شما دریافت می کنید (x∧y∧z)∨(x∧¬y∧¬z)∨(¬x∧y∧¬z)∨(¬x∧¬y∧z).
چگونه منفصل را بهفرم معمولی؟
به یک گزاره مرکب به شکل عادی منفصل یا DNF گفته می شود، اگر یک تفکیک از حروف ربط واژه های ساده باشد، و علاوه بر این، اگر هر گزاره ای باشد. متغیر حداکثر یک بار در هر حرف ربط و هر حرف ربط حداکثر یک بار در منفصل رخ می دهد.
