Pretvorba logike prvega reda v CNF:
- Pretvori v normalno obliko negacije. Odpravite posledice in enakovrednosti: večkrat zamenjajte z; zamenjaj z. …
- Standardiziraj spremenljivke. …
- Skolemizirajte izjavo. …
- Zpusti vse univerzalne kvantifikatorje.
- Razporedite ALI navznoter preko AND: večkrat zamenjajte z.
Kaj je CNF formula?
Konjunktivna normalna oblika (CNF) je pristop k Boolovi logiki, ki izraža formule kot veznike členov z AND ali OR. Vsak stavek, povezan z veznikom ali AND, mora biti bodisi dobesedni izraz ali vsebovati disjunkcijo ali operator ALI. CNF je uporaben za avtomatizirano dokazovanje izrekov.
Ali lahko pretvorite DNF v CNF?
Če ste pripravljeni uvesti dodatne spremenljivke, lahko pretvorite iz oblike DNF v CNF v polinomskem času z z uporabo Tseitinove transformacije. Dobljena formula CNF bo enakozadovoljiva s prvotno formulo DNF: formula CNF bo izpolnilna, če in samo, če je bila izvirna formula DNF zadovoljiva.
Kako lahko dobim CNF?
Preprosto zapišite tabelo resnice, ki jo je zelo enostavno najti, in sklepajte o svojem CNF in DNF. Če želite najti DNF, morate pogledati vse vrstice, ki se končajo s T. Ko najdete te vrstice, vzemite vrednosti x, y in z iz vsakega posameznega stolpca. Tako dobite (x∧y∧z)∨(x∧¬y∧¬z)∨(¬x∧y∧¬z)∨(¬x∧¬y∧z).
Kako pretvorite ločeno vnormalna oblika?
Za sestavljeni predlog rečemo, da je v disjunktivni normalni obliki ali DNF, če je disjunkcija veznikov enostavnih izrazov in če je poleg tega vsak predlog spremenljivka se pojavi največ enkrat v vsaki konjunkciji in vsaka veznica se pojavi največ enkrat v disjunkciji.
