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

I. Elementar konyunktsiyani chetlashtirish jarayoni (operatsiyasi). DNSHdan DNSH ga o‘tish uchun elementar konyunktsiyani chetlashtirish kerak. Bunday o‘zgartirish shunda va faqat shundagina mumkinki, qachon = bo‘lsa.

II. Ko‘paytuvchini chetlashtirish operatsiyasi (jarayoni). DNSH dan DNSH ga o‘tish operatsiyasi. Buni bajarish uchun elementar konyunktsiya ifodasidan ko‘paytuvchini chetlashtirish kerak. Bu almashtirish shunday aniqlanganki, qachon = bo‘lsa.

1-ta’rif. I va II almashtirishlar yo‘li bilan soddalashtirish mumkin bo‘lmagan dizyunktiv normal shaklga (I va II almashtirishlarga nisbatan) tupikli DNSH (TDNSH) deb aytiladi.

1-misol. DNSH I va II almashtirishlarga nisbatan tupikli DNSH bo‘ladi.

(1) va monotonlik aksiomasiga asosan va bo‘ladi. SHuning uchun TDNSH lar orasida har doim minimal dizyunktiv normal shakllar mavjud bo‘ladi.