Ensimmäisen asteen logiikan muuntaminen CNF:ksi:
- Muunna negatiivisen normaalimuotoon. Eliminoi implikaatiot ja vastaavuudet: korvaa toistuvasti; korvata. …
- Standardoi muuttujat. …
- Skolemoi lause. …
- Poista kaikki yleiset kvantisoijat.
- Jaa TAI:t sisäänpäin AND-merkkien päälle: korvaa toistuvasti.
Mikä on CNF-kaava?
Konjunktiivinen normaalimuoto (CNF) on lähestymistapa Boolen logiikkaan, joka ilmaisee kaavat lauseiden konjunktioina AND- tai TAI-merkillä. Jokaisen konjunktiolla tai AND:lla yhdistetyn lauseen tulee olla joko kirjaimellinen tai sisältää disjunktio tai OR-operaattori. CNF on hyödyllinen automaattisessa lauseen todistamisessa.
Voitko muuntaa DNF:n CNF:ksi?
Jos haluat ottaa käyttöön lisämuuttujia, voit muuntaa DNF-muodosta CNF-muotoon polynomiajassa käyttäen Tseitin-muunnosta. Tuloksena oleva CNF-kaava on yhtäläinen alkuperäisen DNF-kaavan kanssa: CNF-kaava on tyydyttävä, jos ja vain, jos alkuperäinen DNF-kaava oli tyydyttävä.
Kuinka saan CNF:n?
Kirjoita vain ylös totuustaulukko, joka on melko helppo löytää, ja päättele CNF- ja DNF-arvosi. Jos haluat löytää DNF:n, sinun on katsottava kaikki rivit, jotka päättyvät T. Kun löydät nämä rivit, ota x-, y- ja z-arvot kustakin vastaavasta sarakkeesta. Siten saat (x∧y∧z)∨(x∧¬y∧¬z)∨(¬x∧y∧¬z)∨(¬x∧¬y∧z).
Miten muunnat disjunktiivin muotoonnormaali muoto?
Yhdistetyn lauseen sanotaan olevan disjunktiivisessa normaalimuodossa tai DNF, jos se on yksinkertaisten termien konjunktioiden disjunktio, ja jos lisäksi jokainen propositiaalinen lauseke muuttuja esiintyy korkeintaan kerran kussakin konjunktiossa ja jokainen konjunktio esiintyy korkeintaan kerran disjunktiossa.
