Yechimi:
1 usul (jadval usuli): MDNSh ifodasini aniqlashning jadval usuli quydagicha:
1. berliganformulaning chinlik jadvali tuziladi (7.1-jadval);
2. chinlik jadvalidan funksiyaning 1 ga teng bo’lgan qiymatlari to’plamini ajratib olinadi;
3. har bir ajratib olingan qiymatlari to’plamiga mos elementar konyunksiyalar tuziladi;
4. hosil bo’lgan elementar konyunksiyalar dizyunksiya amali bilan bog’lanadi.
7.1-jadval
|
|
|
|
|
| |
0
0
0
0
1
1
1
1
|
0
0
1
1
0
0
1
1
|
0
1
0
1
0
1
0
1
|
1
1
0
0
0
0
1
1
|
1
0
0
1
1
0
0
1
|
1
1
0
1
1
0
1
1
|
(7.1) formulaga ko’ra quyidagini hosil qilamiz:
2-usul (analitik usul):
(с) formulani qo’llab quyidagiga ega bo’lamiz:
endi (о) formuladan foydalanib MDNSh ga keltiramiz:
.
Konyunktiv normal shakl.
7.6.-ta’rif. Elementar mulohazalar yoki ularning inkorlarini diz’yunksiy amali orqali bog’lanishidan hosil bo’lgan ifodaga elementar dizyunksiya deyiladi.
(7.5)
7.7-ta’rif. Elementar dizyunksiyalarni konyunksiya amali orqali bog’lanishidan hosil bo’lgan ifodaga kon’yunktiv normal shakli (KNSh) deyiladi.
(7.6)
Dostları ilə paylaş: | 
