Birinci dərəcəli məntiqi CNF-ə çevirmək üçün:
- İnkarın normal formasına çevirin. Təsirləri və ekvivalentləri aradan qaldırın: dəfələrlə ilə əvəz edin; ilə əvəz edin. …
- Dəyişənləri standartlaşdırın. …
- Bəyanatı skolemize edin. …
- Bütün universal kəmiyyət göstəricilərini buraxın.
- OR-ları AND üzərindən içəri paylayın: təkrar olaraq. ilə əvəz edin
CNF düsturu nədir?
Birləşdirici normal forma (CNF) düsturları AND və ya OR ilə bəndlərin birləşmələri kimi ifadə edən Boole məntiqinə yanaşmadır. Bağlayıcı və ya AND ilə bağlanan hər bir bənd ya hərfi olmalı, ya da ayrılıq, ya da OR operatorunu ehtiva etməlidir. CNF avtomatlaşdırılmış teoremin sübutu üçün faydalıdır.
DNF-ni CNF-ə çevirə bilərsiniz?
Əlavə dəyişənləri təqdim etmək istəyirsinizsə, Tseitin çevrilməsi istifadə edərək polinom zamanında DNF-dən CNF formasına çevirə bilərsiniz. Əldə edilən CNF düsturu orijinal DNF düsturu ilə bərabərləşdirilə bilər: CNF düsturu yalnız və yalnız orijinal DNF düsturu təmin olunarsa təmin edilə bilər.
CNF-ni necə əldə edə bilərəm?
Sadəcə tapmaq olduqca sadə olan həqiqət cədvəlini yazın və CNF və DNF-ni çıxarın. Əgər DNF-ni tapmaq istəyirsinizsə, T ilə bitən bütün sətirlərə baxmalısınız. Həmin sətirləri tapdığınız zaman hər müvafiq sütundan x, y və z dəyərlərini götürün. Beləliklə, (x∧y∧z)∨(x∧¬y∧¬z)∨(¬x∧y∧¬z)∨(¬x∧¬y∧z) alırsınız).
Diyunktivi necə çevirmək olarnormal forma?
Mürəkkəb müddəa, əgər o, sadə terminlərin birləşmələrinin disjunksiyasıdır və bundan əlavə, hər bir müddəalıdırsa, onun disjunktiv normal formada və ya DNF olduğu deyilir. dəyişən hər bir birləşmədə ən çox bir dəfə, hər bir birləşmə isə ayrışmada ən çox bir dəfə baş verir.
