Axborotlarga ishlov berish va boshqarish” kafedrasi tizimlarnazari ya s I fanidan Sirtqi ta’lim yo‘nalishi uchun Ma’ruza matni 5330200-«Informatika va axborot texnologiyalari»

m₀ m₁ m₂ … _{ }
va ularning har biriga ikkilik razryadni mos ravishda qo`yamiz. Mintermaga tegishli bo`lgan bir uning funksiya tarkibidaligini, nol esa funksiya tarkibiga kirmasligini anglatsin. Shunda 2ⁿrazryadli ikkilik son qandaydir bull funksiyasini anglatsin, umumiy funksiyalar soni N esa quyidagiga teng
N = _{ }
ya`ni umumiy funksiyalar soni barcha 2ⁿ razryadli ikkilik sonlarning soniga teng. Masalan, uchta argumentning 256 ta funksiyasi mavjud, 4 ta argumentning 65 536 ta funksiyasi, 5 ta argumentning 4 294 967 296 ta funksiyasi mavjud va h.z.


Dizyunktiv normal shakl uchun yoyish teoremasi
Har qanday bull funksiyasini quyidagi ko`rinishda tasavvur qilishi mumkin
f (<sub> </sub>.
Buni ta`kidni isbotlash juda oson._{ }= 1 bo`lsin. Unda
f (<sub> </sub>.
Bundan quyidagi kelib chiqadi:
f(<sub> </sub>
Masalan, quyidagi funksiyani A argument bo`yicha yoyamiz:
_{ 
 }
Funksiyani Istalgan argument bo`yicha yoyish mumkin, masalan B bo`yicha:
_{ }
Agar funksiyani barcha argumentlar bo`yicha yoyib chiqsak, natijada funksiyaning MDNSh ni olamiz. Misol uchun <sub> </sub> funksiyani olamiz va uni <sub> </sub> va D argumentlar bo`yicha yoyamiz:
a) A argument bo`yicha yoyamiz:
<sub> </sub>;
b) olingan natijani B bo`yicha yoyamiz:
_{ };
c)olingan natijani C bo`yicha yoyamiz:
 
d) D argument bo`yicha yoyish qoldi:
 
Ravshanki, funksiyani yangidan yangi argumentlar bo`yicha yoyib davom ettirish mumkin va har safar avvalgilariga o`xshash bo`lmagan MDNSh hosil bo`ladi.