I kirish II. Asosiy qism matematik mantiq funksiyalarining minimallashtirish muammosi masalasining qo‘yilishi

Dizyunktiv normal shaklni soddalashtirish
Endi yuqorida keltirilgan ikkita almashtirishlar asosida DNSH ni soddalashtirish algoritmini keltiramiz.

1. funksiyani ifodalovchi qandaydir DNSHni dastlabki DNSH sifatida olamiz. Masalan, shunday DNSH sifatida uning mukammal dizyunktiv normal shaklini olamiz (chunki chinlik jadvali asosida uni formula orqali osongina yozish mumkin).

2.Dastlabki dizyunktiv normal shaklda qo‘shiluvchi-larni va har bir qo‘shiluvchidagi ko‘paytuvchilarni tartibga solamiz. Bu tartiblash bilan DNSH ko‘rinishi beriladi.

3. CHapdan o‘ngga qarab DNSH ko‘rinishi ko‘rilib o‘tiladi. Navbatdagi elementar konyunktsiyaga

nisbatan elementar konyunktsiyani chetlashtirish operatsiyasi qo‘llaniladi, agar bu mumkin bo‘lmasa, u vaqtda chapdan o‘ngga qarab elementar konyunktsiya-larning ko‘paytuvchi hadlari ko‘rilib chiqiladi va ularga nisbatan mumkin bo‘lgunga qadar ko‘paytuvchini chetlashtirish operatsiyasi qo‘llaniladi.

Shundan so‘ng keyingi elementar konyunktsiyaga o‘tiladi.

Oxirgi elementar kon’yukntsiyani ishlab chiqqandan keyin, hosil bo‘lgan DNSH ni yana qaytadan chapdan o‘ngga qarab ko‘rib chiqiladi va elementar konyunktsiyani chetlashtirish operatsiyasi sinab ko‘riladi.

Natijada izlangan dizyunktiv normal shaklga ega bo‘lamiz.