لتحويل منطق الدرجة الأولى إلى CNF:
- التحويل إلى النموذج العادي للنفي. إزالة الآثار والمعادلات: استبدل بشكل متكرر بـ ؛ استبدل ب. …
- توحيد المتغيرات. …
- Skolemize البيان. …
- إسقاط جميع المحددات العالمية.
- توزيع ORs للداخل على AND: استبدلها بشكل متكرر بـ.
ما هي صيغة CNF؟
النموذج العادي المقترن (CNF) هونهج للمنطق المنطقي الذي يعبر عن الصيغ على أنها اقترانات الجمل مع AND أو OR. يجب أن تكون كل جملة متصلة بواسطة أداة ربط ، أو AND ، إما حرفية أو تحتوي على فصل ، أو عامل تشغيل OR. CNF مفيد لإثبات النظرية الآلية.
هل يمكنك تحويل DNF إلى CNF؟
إذا كنت على استعداد لإدخال متغيرات إضافية ، يمكنك التحويل من DNF إلى نموذج CNF في وقت متعدد الحدود بواسطةباستخدام تحويل Tseitin. ستكون صيغة 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 ، إذا كانفصلًا من اقتران المصطلحات البسيطة، وإذا كان ، علاوة على ذلك ، كل موضعي يحدث المتغير مرة واحدة على الأكثر في كل اقتران ويحدث كل اقتران مرة واحدة على الأكثر في الفصل.
