Birinchi tartibli mantiqni CNF ga aylantirish uchun:
- Inkor qilishning oddiy shakliga aylantirish. Ta'sir va ekvivalentlarni yo'q qiling: qayta-qayta bilan almashtiring; bilan almashtiring. …
- Oʻzgaruvchilarni standartlashtirish. …
- Bayonotni skolemize qiling. …
- Barcha universal miqdorlarni oʻchirib tashlang.
- OR ni AND orqali ichkariga taqsimlang: qayta-qayta. bilan almashtiring
CNF formulasi nima?
Konjunktiv normal shakl (CNF) formulalarni AND yoki OR bilan bandlar birikmasi sifatida ifodalovchi mantiqiy mantiqqa yondashuvdir. Bog‘lovchi yoki AND bilan bog‘langan har bir gap harf yoki ayirma yoki OR operatoridan iborat bo‘lishi kerak. CNF teoremani avtomatlashtirilgan isbotlash uchun foydalidir.
DNF-ni CNF-ga aylantira olasizmi?
Agar siz qoʻshimcha oʻzgaruvchilar kiritmoqchi boʻlsangiz, Tseitin transform yordamida polinom vaqtida DNF dan CNF koʻrinishiga oʻzgartirishingiz mumkin. Olingan CNF formulasi asl DNF formulasi bilan tenglashtirilgan bo‘ladi: CNF formulasi, agar asl DNF formulasi qanoatlantirilsagina, qoniqtiriladi.
CNFni qanday olishim mumkin?
Topa olish juda oson boʻlgan haqiqat jadvalini yozib oling va CNF va DNF ni chiqaring. Agar siz DNF ni topmoqchi bo'lsangiz, T bilan tugaydigan barcha qatorlarni ko'rib chiqishingiz kerak. Ushbu qatorlarni topganingizda, har bir tegishli ustundan x, y va z qiymatlarini oling. Shunday qilib, siz (x∧y∧z)∨(x∧¬y∧¬z)∨(¬x∧y∧¬z)∨(¬x∧¬y∧z) olasiz).
Diyunktivni qanday aylantirasizoddiy shakl?
Qo’shma gap oddiy atamalar birikmalarining dizyunksiyasi bo’lsa, va bundan tashqari, har bir propozitsiyali bo’lsa, qo’shma gap disjunktiv normal shaklda yoki DNF deyiladi. oʻzgaruvchi har bir qoʻshma gapda koʻpi bilan bir marta, har bir birikma esa ayirmada koʻpi bilan bir marta boʻladi.
