Esimest järku loogika teisendamiseks CNF-iks:
- Teisenda eituse tavavormiks. Kõrvaldage tagajärjed ja samaväärsused: asendage korduv alt; asendada. …
- Muutujate standardimine. …
- Skolemiseerige avaldus. …
- Tühjendage kõik universaalsed kvantorid.
- Jaotage VÕI-d sissepoole JA-de peale: asendage korduv alt.
Mis on CNF-valem?
Konjunktiivne normaalvorm (CNF) on lähenemine Boole'i loogikale, mis väljendab valemeid AND- või OR- või VÕI-ga. Iga sidesõna ehk JA-ga ühendatud klausel peab olema kas literaal või sisaldama disjunktsiooni või operaatorit VÕI. CNF on kasulik teoreemide automaatseks tõestamiseks.
Kas saate teisendada DNF-i CNF-iks?
Kui olete valmis kasutusele võtma täiendavaid muutujaid, saate teisendada DNF-vormingust CNF-vormingusse polünoomilise aja jooksul kasutades Tseitini teisendust. Saadud CNF-valem on võrdsustatud algse DNF-valemiga: CNF-valem on rahuldav siis ja ainult siis, kui algne DNF-valem oli rahuldav.
Kuidas ma saan CNF-i?
Lihts alt kirjutage üles tõetabel, mida on üsna lihtne leida, ja tuletage oma CNF ja DNF. Kui soovite leida DNF-i, peate vaatama kõiki ridu, mis lõppevad tähega T. Kui leiate need read, võtke igast vastavast veerust x, y ja z väärtused. Seega saad (x∧y∧z)∨(x∧¬y∧¬z)∨(¬x∧y∧¬z)∨(¬x∧¬y∧z).
Kuidas teisendada disjunktiivi keelekstavavorm?
Öeldakse, et liitlause on disjunktiivses normaalvormis ehk DNF, kui see on lihtterminite sidesõnade disjunktsioon ja kui peale selle on iga propositsiooniline lause muutuja esineb igas konjunktsioonis kõige rohkem üks kord ja iga konjunktsiooni esineb kõige rohkem üks kord disjunktsioonis.
