Norėdami konvertuoti pirmosios eilės logiką į CNF:
- Konvertuoti į neigimo įprastą formą. Pašalinkite pasekmes ir atitikmenis: pakartotinai pakeiskite; pakeisti. …
- Standartizuoti kintamuosius. …
- Skolemizuokite teiginį. …
- Atmeskite visus universalius skaitiklius.
- Paskirstykite AR į vidų per AND: pakartotinai pakeiskite.
Kas yra CNF formulė?
Jungtinė normalioji forma (CNF) yra Bulio logikos metodas, išreiškiantis formules kaip sakinių jungtukus su IR arba ARBA. Kiekvienas sakinys, sujungtas jungtuku arba IR, turi būti pažodinis arba turėti disjunkciją, arba operatorius ARBA. CNF yra naudingas automatiniam teoremų įrodinėjimui.
Ar galite konvertuoti DNF į CNF?
Jei norite įvesti papildomų kintamųjų, galite konvertuoti iš DNF į CNF formą daugianario laiku naudodami Tseitin transformaciją. Gauta CNF formulė bus lygiavertė pradinei DNF formulei: CNF formulė bus patenkinama tada ir tik tada, jei bus patenkinama pradinė DNF formulė.
Kaip gauti CNF?
Tiesiog užsirašykite tiesos lentelę, kurią gana paprasta rasti, ir išveskite savo CNF ir DNF. Jei norite rasti DNF, turite peržiūrėti visas eilutes, kurios baigiasi raide T. Kai rasite tas eilutes, paimkite x, y ir z reikšmes iš kiekvieno atitinkamo stulpelio. Taigi gausite (x∧y∧z)∨(x∧¬y∧¬z)∨(¬x∧y∧¬z)∨(¬x∧¬y∧z).
Kaip konvertuoti disjunktyvą įnormali forma?
Sudėtinis teiginys laikomas disjunkcinės normalios formos arba DNF, jei tai paprastų terminų jungtukų atskyrimas ir jei, be to, kiekvienas propozicinis teiginys kintamasis pasitaiko daugiausia vieną kartą kiekviename konjunkcijoje, o kiekvienas jungtukas – daugiausia vieną kartą disjunkcijoje.