Lai pārveidotu pirmās kārtas loģiku uz CNF:
- Konvertēt uz nolieguma normālu formu. Novērst sekas un līdzvērtības: atkārtoti aizstāt ar; aizvietot ar. …
- Standartizēt mainīgos. …
- Skolemizējiet paziņojumu. …
- Atmetiet visus universālos kvantorus.
- Sadaliet VAI uz iekšu virs UN: atkārtoti aizstājiet ar.
Kas ir CNF formula?
Konjunktīvā normālā forma (CNF) ir pieeja Būla loģikai, kas izsaka formulas kā klauzulu savienojumus ar UN vai VAI. Katrai klauzulai, kas savienota ar saikni jeb UN, ir jābūt vai nu literālam, vai jāsatur disjunkcija, vai operators VAI. CNF ir noderīgs automātiskai teorēmu pierādīšanai.
Vai varat pārveidot DNF par CNF?
Ja vēlaties ieviest papildu mainīgos, varat konvertēt no DNF uz CNF formu polinoma laikā izmantojot Tseitīna transformāciju. Iegūtā CNF formula būs vienāda ar sākotnējo DNF formulu: CNF formula būs apmierināma tad un tikai tad, ja sākotnējā DNF formula bija apmierināma.
Kā es varu iegūt CNF?
Vienkārši pierakstiet patiesības tabulu, kuru ir diezgan vienkārši atrast, un seciniet savu CNF un DNF. Ja vēlaties atrast DNF, jums ir jāaplūko visas rindas, kas beidzas ar T. Kad atrodat šīs rindas, ņemiet x, y un z vērtības no katras attiecīgās kolonnas. Tādējādi jūs iegūstat (x∧y∧z)∨(x∧¬y∧¬z)∨(¬x∧y∧¬z)∨(¬x∧¬y∧z).
Kā pārveidot disjunktīvu parparastā forma?
Salikts priekšlikums ir disjunktīvā normālā formā jeb DNF, ja tas ir vienkāršu terminu saikļu atdalīšana un ja turklāt katrs propozicionālais priekšlikums mainīgais sastopams ne vairāk kā vienu reizi katrā konjunkcijā, un katrs konjunkcija sastopams ne vairāk kā vienu reizi disjunkcijā.
