Mavzu: Normal formalar. Mdnf, mknf. Mulohazalar algebrasi formulalarini mdnf va mknf larda ifodalash

3- ta’rif. Agar formulaning KNShi (DNShi) ifodasida bir xil elementar diz’yunksiyalar (kon’yunksiyalar) bo‘lmasa va barcha elementar diz’yunksiyalar (kon’yunksiyalar) to‘g‘ri hamda ifodada qatnashuvchi barcha elementar mulohazalarga nisbatan to‘liq bo‘lsa, u holda bu ifoda mukammal kon’yunktiv normal shakl (mukammal diz’yunktiv normal shakl) deb ataladi.¹
4- ta’rif. Berilgan elementar mulohazalarga nisbatan formulaning MKNShidagi har bir had diz’yunktiv konstituyent, uning MDNShidagi har bir had esa kon’yunktiv konstituyent deb ataladi.
4- ta’rifda yerda ( ) ch yoki yo qiymat qabul qiluvchi parametrni ifodalaydi va o‘zgaruvchilar orasida bir xillari yo‘q.
3- misol. Tarkibida faqat bitta asosiy mantiqiy amal qatnashgan formulalarning mukammal normal sakllari (MKNShlari va MDNShlari) 1- jadvalda keltirilgan.
Yuqoridagi tasdiqning to‘g‘riligini tekshirish o‘quvchiga havola qilinadi.
1- jadvaldan ko‘rinib turubdiki, formulaning MKNShi ham, MDNShi ham uning o‘zidan iborat; formulaning MKNShida uchta ( , va ) diz’yunktiv konstituyentlar bor, uning MDNShi esa bitta kon’yunktiv konstituyentdan (shu formulaning o‘zidan) iborat; va hokazo. ■

1- jadval
Amal	MKNSh	MDNSh