Mukammal kon'yuktiv normal shakl (mdnsh), uni tuzish usuli

Mukammal kon’yuktiv normal shakl (MKNSH).
Кon’yuktiv normal shakl (KNSH) deb , argumentning sodda dizyunksiyasi (yoki ularning inversiyalari) bo‘ladigan hadlar qatorining kon’uynksiyasi ko‘rinishida tasvirlash shakliga aytiladi.
Minimal KNSH (MKNSH) ni hosil qilish uchun, 0 ni o‘z ichiga oluvchi kataklar sohalarga joylashtiriladi va MKNSH hadlari alohida sohalar uchun hosil qilingan raqamlar inversiyasi orqali yoziladi.


KNSHga funksiyani tasvirlashning quyidagi shakli misol bo‘la oladi :
KNSH bo‘lmaydigan funksiyani tasvirlash shaklini keltiramiz :
Bu shakl MKNSH bo‘lmaydi, chunki uning birinchi hadi qolganlari bilan kon’yunksiya amali orqali bog‘lanmagan.
KNSHning har bir hadida MKNSH barcha argumentlari keltirilgan bo‘lishi kerak . KNSHdan MKNSH ga o‘tish uchun barcha argumentlarni o‘z ichiga olmaydigan har bir hadiga х_i*х_i ko‘rinishdagi hadlarni qo‘shish kerak, bu yerda х_i haddagi mavjud bo‘lmagan argument

х_i*х = 0 bo‘lgani uchun bunday amal funksiyaning qiymatiga ta’sir qilmaydi. х_i*х ifodani qandaydir Y hadiga qo‘shish natijasida quyidagi ko‘rinishga keltiruvchi Yх_i *х

ifoda hosil qilinadi
Bu tenglikning to‘q‘riligi taqsimlash qonunidan kelib chiqadi, buni ifodaning o‘ng tomonidagi qavslarni ochish orqali ko‘rsatish mumkin.Quyidagi funksiya misolida
KNSH dan MKNSHga o‘tishni ko‘rib chiqamiz:
Quyidagi ifodaning biror hadining ustida almashtirish bajarib taqsimot qonunini qo‘llashni ko‘rsatamiz:
Belgilaymiz
Zarur belgilashlarni kiritgandan so‘ng, taqsimot qonuni asosida quyidagiga ega bo‘lamiz
Quydagicha belgilab taqsimot qonunini qo‘llaymiz.
Z₁ va Z₂ ning qiymatlarini, o‘rniga qo‘iyb KNSH dan MKNSHga o‘tishda keltirilgan ifodaning mos hadlarini hosil qilamiz.
MKNSH funksiyalar rostlik jadvali bo‘yicha oson quriladi. Misol sifatida 3.1 jadvalda keltirilgan funkiyani ko‘rib chiqamiz.
 (2.3)
Ifoda f(x₁, x₂, x₃) funksiyasi rostlik jadvalida qiymatlari orasida nechta nol bo‘lsa, shuncha konyunksiya amali bilan bog‘langan hadlarga ega. Shunday qilib, funksiya nolga teng bo‘ladigan argumentlar qiymati toplamiga shu to‘plamda nol qiymatga ega bo‘luvchi MKNSHning aniq bir hadi mos keladi. MKNSH hadlari kon’yunksiya amali bilan bog‘langanligi uchun, hadlaridan birortasi nolga teng bo‘lsa funksiya ham nolga teng bo‘ladi.
Shunday qilib, rostlik jadvali orqali berilgan MKNSH funksiyani yozish qoydasini keltiramiz. Argumentlar qiymatlarining qancha to‘plamlarida funksiya nolga teng bo‘lsa, barcha argumentlar diz’yunksiyasini tashkil qiluvchi, shuncha kon’yunktiv hadlarni yozish kerak va agar to‘plamda argumentning qiymati 1 ga teng bo‘lsa,u holda diz’yunksiyaga shu argumentning inversiyasi kiradi.
Ihtiyoriy funksiya yagona MNKSH ga ega.
Mantiqiy qurilmaning tuzilmali sxemasi bevosita amalga oshirilayotgan funksiyaning kanonik shakliga (MDNSH yoki MKNSH) asosan quriladi. (3.2 ) va (3.3) funksiyalar uchun hosil qilingan sxemasi 3.9a va 3.9b rasmda keltirilgan



Qurilmaning, umuman olganda, to‘g‘ri ishlashini ta’minlovchi bu usulning kamchiligi ham yo‘q emas. Hosil qilingan sxemalar juda murakkab, katta sondagi mantiqiy elementlardan foydalanishni talab qiladi, unumliligi va ishonchliligi juda quyi. Ko‘p hollarda funksiyalarni o‘zgartirmasdan mantiqiy ifodalarni shunday soddalashtirish mumkinki, bunda mos keluvchi tuzilmali sxema soddaroq bo‘lib qoladi. Funksiyani bunday soddalashtirish funksiyalarni minimallashtirish deyiladi.

Ta’rif 3. Diz’yunktiv normal shakl (DNSh) deb, kon’yunktiv bir hadlar diz’yunksiyaga aytiladi, ya’ni ai , i=1, 2, …, k kon’yunktiv bir hadlar bo‘lsa a1\/a2\/…\/an - ifodaga Diz’yunktiv normal shakl deyiladi.
Ta’rif 3. Diz’yunktiv normal shakl (DNSh) deb, kon’yunktiv bir hadlar diz’yunksiyaga aytiladi, ya’ni ai , i=1, 2, …, k kon’yunktiv bir hadlar bo‘lsa a1\/a2\/…\/an - ifodaga Diz’yunktiv normal shakl deyiladi.
Ta’rif 4. Kon’yunktiv normal shakl (KNSh) deb, dizyunktiv bir hadlar kon’yunksiyasiga ayiladi, ya’ni bi , i=1, 2, …,l kon’yunktiv bir hadlar bo‘lsa, b1&b2&…&b2 – ifoda KNSh deyiladi.
Har bir formula uchun cheksiz ko‘p KNSh, DNSh lari mavjud.

Ta'rif 3. Diz'yunktiv normal shakl (DNS) deb, kon'yunktiv bir hadlar diz'yunksiyaga aytiladi, ya'ni q, i=1, 2, ..., k kon'yunktiv bir hadlar boʻlsa a,VaV...Va, - ifodaga


Diz'yunktiv normal shakl deyiladi.
Ta'rif 4. Kon'yunktiv normal shakl (KNSh) deb, dizyunktiv bir hadlar kon'yunksiyasiga ayiladi, ya'ni b1, i=1, 2,..., kon'yunktiv bir hadlar boʻlsa, b,&b,&...&b, - ifoda KNSh deyiladi.
Har bir formula uchun cheksiz ko'p KNSH, DNSh lari mavjud.



Mantiqiy qurilmaning tuzilmali sxemasi bevosita amalga oshirilayotgan funksiyaning kanonik shakliga (MDNSH yoki MKNSH) asosan quriladi. (3.2 ) va (3.3) funksiyalar uchun hosil qilingan sxemasi 3.9a va 3.9b rasmda keltirilgan