Mavzu: Formulalarning normal shakllari. Formulalarning mukammal normal shakllari Reja
- elementar diz’yunksiya ( z u ) uchun
Download 2.36 Mb.
|
7-ma\'ruza
3- elementar diz’yunksiya ( z u ) uchunz 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: 
|