Mavzu: Formulalarning normal shakllari. Formulalarning mukammal normal shakllari Reja


- elementar diz’yunksiya ( z  u ) uchun


Download 2.36 Mb.
bet10/13
Sana03.12.2023
Hajmi2.36 Mb.
#1798046
1   ...   5   6   7   8   9   10   11   12   13
Bog'liq
7-ma\'ruza

3- elementar diz’yunksiya ( z u ) uchun


z u  (x y z u)  (x y z u) 
 (x y z u)  (x y z u)
va 4- elementar diz’yunksiya ( z u ) uchun
z u  (x y z u )  (x y z u ) 
 (x y z u )  (x y z u )
teng kuchliliklarga ega bo‘lamiz.
Topilgan barcha KNShlar x , y , z va u elementar mulohazalarga nisbatan to‘liq KNShlardir. Bu
KNShlarni o‘zaro solishtirib, ularning tarkibida bir xil elementar diz’yunksiyalar bor (masalan, 1- va 2- KNShlardagi x y z u elementar diz’yunksiya) bo‘lgan vaziyat ro‘y berganligini aniqlaymiz. Shuning uchun, algoritmning 5- bandi boshqarishni uning 2- bandiga o‘tkazadi.
Algoritmning 2- bandini bajarib, A formula uchun
(x y z u)  (x y z u )  (x y z u) 
 (x y z u )  (x y z u)  (x y z u ) 
 (x y z u)  (x y z u )  (x y z u ) 
 (x y z u)  (x y z u)  (x y z u ) 
 (x y z u)  (x y z u )
KNSh ifodasiga ega bo‘lamiz.
Algoritmning 3- bandi boshqarishni uning 4- bandiga, 4- bandi esa 6- bandiga o‘tkazadi, chunki oxirgi KNSh ifodasidagi barcha elementar diz’yunksiyalar to‘g‘ri va to‘liq elementar diz’yunksiyalardir. Sunday qilib, berilgan A formula uchun oxirgi formula MKNShdir. ■
Ravshanki, agar formulaning MKNShi tarkibida qatnashuvchi barcha ifodalardagi  belgi o‘rniga
belgi va, aksincha,  o‘rniga  qo‘yilsa, u holda MDNSh hosil bo‘ladi. Xuddi shuningdek, agar formulaning MDNShi tarkibida qatnashuvchi barcha ifodalarda shunday o‘zgartirishlar bajarilsa, u holda MKNSh hosil bo‘ladi.

Download 2.36 Mb.

Do'stlaringiz bilan baham:
1   ...   5   6   7   8   9   10   11   12   13




Ma'lumotlar bazasi mualliflik huquqi bilan himoyalangan ©fayllar.org 2024
ma'muriyatiga murojaat qiling