Kubadilisha mantiki ya mpangilio wa kwanza kuwa CNF:
- Geuza hadi fomu ya kawaida ya kukanusha. Ondoa athari na usawa: badilisha mara kwa mara na; badilisha na. …
- Sawazisha vigeu. …
- Skolemize kauli. …
- Dondosha vithibitishaji vyote kwa wote.
- Sambaza AU ndani juu ya ANDs: badilisha mara kwa mara na.
Mfumo wa CNF ni nini?
Aina ya kawaida ya kiunganishi (CNF) ni mtazamo wa mantiki ya Boolean ambayo inaonyesha fomula kama viunganishi vya vifungu na NA au OR. Kila kifungu kilichounganishwa kwa kiunganishi, au AND, lazima kiwe kihalisi au kiwe na kitenganishi, au AU mwendeshaji. CNF ni muhimu kwa uthibitisho wa nadharia ya kiotomatiki.
Je, unaweza kubadilisha DNF hadi CNF?
Ikiwa uko tayari kutambulisha viambajengo vya ziada, unaweza kubadilisha kutoka kwa DNF hadi fomu ya CNF katika muda wa polynomial kwa kwa kutumia kigeuzi cha Tseitin. Fomula itakayotokana na CNF itatosheka na fomula asili ya DNF: fomula ya CNF itatosheka ikiwa tu ikiwa fomula asili ya DNF ilitosheleza.
Ninawezaje kupata CNF?
Andika jedwali la ukweli, ambalo ni rahisi sana kupata, na utambue CNF yako na DNF. Ikiwa ungependa kupata DNF, ni lazima uangalie safu mlalo zote zinazoishia na T. Unapopata safu mlalo hizo, chukua thamani za x, y, na z kutoka kwa kila safu husika. Kwa hivyo, unapata (x∧y∧z)∨(x∧¬y∧¬z)∨(¬x∧y∧¬z)∨(¬x∧¬y∧z)).
Unabadilishaje kitenganishi kuwafomu ya kawaida?
Pendekezo la mchanganyiko linasemekana kuwa katika umbo la kawaida lisilounganisha, au DNF, ikiwa ni muunganisho wa viunganishi vya maneno rahisi, na kama, zaidi ya hayo, kila mhimili wa nafasi. kutofautisha hutokea mara moja zaidi katika kila kiunganishi na kila kiunganishi hutokea mara moja katika muunganisho.
