Биринчи даражадагы логиканы CNFке айландыруу үчүн:
- Токко чыгаруунун кадимки формасына айландыруу. Түпкүлүгүн жана эквиваленттүүлүгүн жоюу: менен кайра-кайра алмаштыруу; менен алмаштыруу. …
- Өзгөрмөлөрдү стандартташтыруу. …
- Билдирүүнү сколемдеңиз. …
- Бардык универсалдуу кванттоочуларды таштаңыз.
- ЖАларды AND боюнча ичке тарат: кайра-кайра. менен алмаштыруу
CNF формуласы деген эмне?
Конъюнктивдик нормалдуу форма (CNF) бул буль логикасына карата ыкма, ал формулаларды ЖАНА же ЖЕ менен сүйлөмдөрдүн байланыштары катары билдирген. Конъюнктура же ЖАНА аркылуу байланышкан ар бир сүйлөм литералдуу болушу керек же дизъюнкцияны же ЖЕ операторун камтышы керек. CNF автоматташтырылган теореманы далилдөө үчүн пайдалуу.
DNFти CNFке айландыра аласызбы?
Эгер сиз кошумча өзгөрмөлөрдү киргизүүнү кааласаңыз, Цейтин трансформациясын колдонуу менен полиномдук убакытта DNF түрүнөн CNF түрүнө которсоңуз болот. Натыйжадагы CNF формуласы баштапкы DNF формуласы менен бирдей канааттандырылат: CNF формуласы, эгерде баштапкы DNF формуласы канааттандырылса гана канааттандырылат.
CNF кантип алсам болот?
Жөн гана табуу оңой болгон чындык таблицасын жазып алыңыз жана CNF менен DNFңызды чыгарыңыз. Эгер сиз DNF тапкыңыз келсе, анда T менен аяктаган бардык саптарды карап чыгышыңыз керек. Ошол саптарды тапканыңызда, ар бир тиешелүү тилкеден x, y жана z маанилерин алыңыз. Ошентип, сиз (x∧y∧z)∨(x∧¬y∧¬z)∨(¬x∧y∧¬z)∨(¬x∧¬y∧z) аласыз).
Дизъюнктивди кантип айландырасызкадимки формабы?
Эгерде ал жөнөкөй терминдердин конъюнкцияларынын дизъюнкциясы болсо, жана мындан тышкары, ар бир про-позициялык болсо, татаал сунуш дизъюнктивдүү нормалдуу формада же DNF деп айтылат. өзгөрмө ар бир конъюнктурада эң көп бир жолу кездешет жана ар бир конъюнктура дизъюнкцияда эң көп бир жолу кездешет.
