Mühazirələr Orta İxtisas Təhsil müəssisələrində fənnin tədrisi üçün nəzərdə tutulub

b) MKNF-ya gətirmə qaydası.

Tərifdən alınır ki, MKNF aşağıdakı mükəmməllik xassələrinə malikdir(başqa sözlə F(x₁,..., x_n) düsturunun MKNF-si onun aşağıdakı şərtləri ödəyən KNF-sidir):

1. 
   onun iki eyni vuruğu yoxdur;
   
2. 
   heç bir vuruq iki eyni toplananı özündə saxlamır;
   

3. 
   heç bir vuruq
   

10. 
    _i dəyişəni ilə bərabər
    

10. 
    inkarını özündə saxlamır;
    

4. 
   hər bir vuruq toplanan olaraq ya
   

^xi dəyişəni, ya da onun



^xi ^,

i  1, n

inkarı

olmaqla butun dəyişənlərin hamısını özündə saxlayır.

İsbat etmək olar ki, eyniliklə doğru olmayan düstur vuruqlarda toplanan və vuruqların ardıcıllığı dəqiqliyi ilə yeganə MKNF-yə malikdir.

İxtiyari düsturun MKNF-yə gətirilməsi qaydası MDNF üçün göstərilən qaydaya analoji olub ikili terminlərlə ifadə olunur.

Tutaq ki, ixtiyari F ^(x₁^{,..., x}_n ⁾

formulası verilmişdir. Bu formulu MKNF-yə gətirən

bir neçə əməliyyatlar ardıcıllığını qeyd edək:

1. 
   Eynigüclü çevirmələr vasitəsi ilə formulu KNF-yə gətiririk.
   
2. 
   Əgər KNF-ninalinması zamanı hər hansı dizyunkt B vuruğunda hansısa ^xi
   

dəyişənini iştirak etməzsə (yəni mükəmməllik üçün d) şərti ödənilməzsə), onda

^{B  B  (xi  x}i ⁾

eynigüclülyündən istifadə etməklə B elementar dizyunksiyasını artıq hər

biri

^x_i dəyişənini (yaxud onun inkarını) özündə saxlayan iki elementar dizyunsiya ilə əvəz

edirik:


^{B (B  x}_i ^{)  (B  xi )} . Bununla da mukəmməlliyin d) şərtini təmin etmiş oluruq.

3. 
   Əgər KNF-da iki eyni elementar B dizyunkyası iştirak edərsə, onda
   

B  B  B

bərabərliyinə əsasən artıq olan B-ni atırıq. Bununla da mükəmməllik üçün qoyulan a) bəndindəki şərti ödəmiş oluruq.

Doğruluq cədvəlinə görə məntiq cəbrinin istənilən MNF-nın tərtib olunması

Tutaq ki, məntiq cəbrinin üçdəyişənli hər hansı f funksiyası aşağıdakı doğruluq cədvəli vasitəsi ilə verilmidir: