Бірінші ретті логиканы 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 деп аталады. айнымалы әр конъюнкцияда ең көбі бір рет кездеседі және әр конъюнктура дизъюнкцияда ең көбі бір рет кездеседі.
