Umumiy doc

Karno xaritasi yordamida bul funksiyalarini minimallashtirish. Bir qator 
ta’riflar kiritamiz. Agar ikki kvadrat bitta umumiy tomonga ega bo‘lsa, ular qo‘shni 
kvadrat hisoblanadi. Masalan, 19.5-rasm, v da 6- kvadratning qo‘shnilari —8, 14, 2, 
5; 4-kvadratniki —2, 3, 8, 12. 12-kvadrat 4-kvadratga qo‘shni hisoblanadi (va 
aksincha), chunki ularning tomonlari umumiy (19.5-rasmga qarang). 7-kvadrat ham 
PDF created with pdfFactory Pro trial version 
www.pdffactory.com

---

525 
o‘sha sababga ko‘ra 5-kvadratga qo‘shni bo‘ladi (va aksincha). 
Ichiga 1 yozilgan kvadratlar R- kvadratlar deb ataladi. 
Ikkita qo‘shni R- kvadrat bir o‘lchovli R- kub qismini tashkil etadi. Bir 
o‘lchovli R- kub qismiga dastlabkidan bitta hadi kam bo‘lgan kon’yunksiya mos 
keladi. Bir o‘lchovli R- kub qismining tashkil etilishi yutilish amaliga mos keladi:
1
3
2
1
3
2
1
1
3
2
1
...
...
...
−
⋅
⋅
=
⋅
⋅
⋅
⋅
n
n
n
x
x
x
x
x
x
x
Vx
x
x
x
x
x
 
19.5-rasm, v da 2 va 6, 6 va 8, 8 va 4-va hokazo kvadratlar juft-jufti bilan bir 
o‘lchovli R-qismini tashkil etadi. Bir o‘lchovli R-kub qismiga mos keluvchi
kon’yunksiyada kub qismining bir qismi maydonida bo‘lgan, qolgan qismi esa 
maydoni tashqarisida bo‘lgan argument ishtirok etmaydi. Kon’yunksiyada saqlangan 
qolgan argumentlarning maydonlarida bir o‘lchovli R-kub qismi to‘liq kiradi yoki
umuman kirmaydi. Bunda, agar R- kub qismi X
i
argumentning maydoniga to‘liq 
kirsa, u holda tegishli kon’yuksiyada bu argument X
i
qiymatga, agar to‘liq kirmasa 
i
x
qiymatga ega bo‘ladi. 
19.6-rasm. n=2, 3, 4, 5 uchun ikki o‘lchovli R- qism kub. 
19.6- racmda ko‘rsatilganidek, to‘rtta qo‘shni R- kvadrat ikki o‘lchovli R-kub 
qismini tashkil etadi. Bu erda ayrim P-kub qismlari ko‘rsatilgan.Qolgan mumkin 
bo‘ladigan R - kub qismlari shunga o‘xshash grafik shaklga ega. Ikki o‘lchovli R - 
kub qismi tashkil bo‘lishining asosiy sharti shunday: har bir R-kvadrat R-kub 
qismidan kamida ikkita R- kvadratga qo‘shni bo‘lishi kerak. Masalan, 2,6, 8, 7-kvad-
ratlarning hammasi qo‘shni bo‘lishiga qaramay ikki o‘lchovli R - kub qismini tashkil 
etmaydi, chunki 2-kvadrat faqat bitta 6- kvadrat bilan qo‘shnidir. 
Ikki o‘lchovli R - kub qismiga mos kon’yunksiyada maydoniga mazkur kub 
qismi faqat yarmigacha kiradigan ikkita argument yo‘q. Xuddi bir o‘lchovli R - kub 
qismi uchun bo‘lgani kabi kon’yunksiyada argumentlarning qiymati ikki o‘lchovli R- 
kub qismi argument maydoniga to‘liq kirishiga yoki to‘liq kirmasligiga bog‘liq. 
a
1
1
1
1
б
1
1
1
1
в
1
1
1
1
г
1
1
1
1
PDF created with pdfFactory Pro trial version 
www.pdffactory.com

---

526 
Sakkizta qo‘shni R- kvadrat uch o‘lchovli R- kub qismini tashkil etadi, bunda 
har R- kvadrat kub qismining kamida uchta R- kvadrati bilan chegaradosh (qo‘shni) 
bo‘lishi kerak. Tegishli kon’yunksiyaning tashkil bo‘lishi qoidasi bitta va ikkita R - 
kub qismlari uchun qoidalariga o‘xshash bo‘lib, bunda kon’yunksiyada endi uchta 
argument bo‘lmaydi.
Ravshanki, 20. o‘lchovli kub qismini hosil qilish uchun endi 220. kvadrat 
qismlari bo‘lishi zarur, bunda ularning har biri kamida R- kvadrat qismi bilan 
chegaradosh (qo‘shni) bo‘lishi kerak. Tegishli kon’yunksiyada n ta argument 
bo‘lmaydi. 
Kub qismlari va ularga tegishli kon’yunksiyalarning hosil bo‘lish qoidalaridan 
minimal DISH larni olish usulikasi kelib chiqadi. R- kvadratlar to‘plami dastlabki bul 
funksiyasini 
ifodalaydi. 
Agar 
R- 
kvadratlarga 
mos 
keluvchi 
hamma 
kon’yunksiyalarni diz’yunksiya bilan birlashtirsak, u holda bul funksiyasi DMNSH 
hosil bo‘ladi. Agar birinchi ifodadagi hadlarning umumiy soni ikkinchi ifodadagidan 
kam bo‘lsa, u holda bul funksiyasining bir ifodasi ikkinchisidan minimalroq bo‘ladi. 
Bul funksiyasi DMNSH hadlari soni maksimal bo‘lishi ravshan. 
 
0
0
0
0
0
0
0
0
1
0
0
0
0
1
1
1
1
x
2
x
4
x
3
x
1
Z
0
0
0
0
0
0
0
0
1
0
0
0
0
1
1
1
1
x
2
x
4
x
3
x
2
Z
/
d
0
d
0
0
1
1
1
1
x
2
x
4
x
3
x
3
Z
0
d
/
d
/
d
/
d
/
d
/
d
/
d
1
1
0
d
0
0
0
0
1
1
1
1
x
2
x
4
x
3
x
4
Z
0
d
/
d
0
d
0
d
0
d
0
d
0
d
0
d
0
0
0
0
0
0
0
0
d
0
0
0
0
1
1
x
2
x
4
x
5
Z
0
d
0
d
0
d
0
0
0
0
0
0
0
0
0
0
1
0
0
0
0
1
1
x
2
x
4
x
3
x
6
Z
/
d
0
d
0
1
1
1
x
2
x
4
x
7
Z
0
d
/
d
/
d
/
d
/
d
/
d
/
d
0
d
/
d
0
d
/
d
0
0
0
0
0
0
0
0
0
0
0
0
1
1
1
x
2
x
4
x
3
x
8
Z
0
0
0
0
0
0
1
0
0
0
0
1
1
1
1
x
2
x
4
x
3
x
ac
Z
1
1
1
1
PDF created with pdfFactory Pro trial version 
www.pdffactory.com

---

527