Om eerste-orde logika na CNF om te skakel:
- Skakel oor na normale ontkenningsvorm. Elimineer implikasies en ekwivalensies: vervang herhaaldelik met; vervang met. …
- Standardiseer veranderlikes. …
- Skolemiseer die stelling. …
- Laat alle universele kwantifiseerders.
- Verdeel OF'e na binne oor EN's: vervang herhaaldelik met.
Wat is 'n CNF-formule?
Konjunktiewe normale vorm (CNF) is 'n benadering tot Boole-logika wat formules uitdruk as voegwoorde van klousules met 'n EN of OR. Elke klousule wat deur 'n voegwoord, of EN, verbind word, moet óf 'n letterlike wees óf 'n disjunksie bevat, óf OF-operateur. CNF is nuttig vir geoutomatiseerde stellingbewys.
Kan jy DNF na CNF omskakel?
As jy bereid is om bykomende veranderlikes in te voer, kan jy van DNF- na CNF-vorm in polinoomtyd omskakel deur die Tseitin-transform te gebruik. Die resulterende CNF-formule sal gelykbevredigbaar wees met die oorspronklike DNF-formule: die CNF-formule sal bevredigbaar wees as en slegs as die oorspronklike DNF-formule bevredigbaar was.
Hoe kan ek CNF kry?
Skryf eenvoudig die waarheidstabel neer, wat redelik maklik is om te vind, en lei jou CNF en DNF af. As jy DNF wil vind, moet jy na alle rye kyk wat met T eindig. Wanneer jy daardie rye kry, neem die x-, y- en z-waardes van elke onderskeie kolom. Dus kry jy (x∧y∧z)∨(x∧¬y∧¬z)∨(¬x∧y∧¬z)∨(¬x∧¬y∧z).
Hoe skakel jy disjunktief om nanormale vorm?
Daar word gesê dat 'n saamgestelde proposisie in disjunktiewe normale vorm, of DNF, is as dit 'n disjunksie van voegwoorde van eenvoudige terme is, en as, verder, elke proposisionele veranderlike kom hoogstens een keer in elke voegwoord voor en elke voegwoord kom hoogstens een keer in die disjunksie voor.
