Mulohazalar algebrasi formulalarining normal shakllari. Diz’yunktiv normal shakl

7.2-misol: MDNSh ko’rinishiga keltiring


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)