Ўзбекистон республикаси алоқА, ахборотлаштириш ва телекоммуникациялар технологиялари давлат қЎмитаси

Diz’yunktiv term (maksterm) - to’g’ri va invers shaklda ifodalangan barcha 
o’zgaruvchilarni  diz’yunksiya  belgisi  bilan  bog’lovchi  term  (ba’zi  adabiyotlarda 
«nulning konstituenti» atamasi ishlatiladi). 
Masalan,  
F
1
=

х
1

х
2

х
3

х
4
, 
F
2
= х
1 

х
2
, 
Kon’yunktiv  term  (minterm)  -  to’g’ri  va  invers  shaklda  ifodalangan  barcha 
o’zgaruvchilarni  kon’yunksiya  belgisi  bilan  bog’lovchi  term  (ba’zi  adabiyotlarda 
«birning konstituenti» atamasi ishlatiladi). 
Masalan,  
F
1
=х
1

х
2

х
3

х
4
, 
F
2
=

х
1 

х
3

х
4 
, 
Termning darajasi r termga kiruvchi o’zgaruvchilar soni bilan aniqlanadi. 

---

 
28 
Masalan, 
F
1
=

х
1 
х
2

х
3
 х
4

х
5
, minterm uchun r=5, 
F
1
=

х
1

 х
2 

х
3
, maksterm uchun r=3, 
Yuqorida keltirilganlarga asoslanib, quyidagi teoremani ta’riflash mumkin: 
Teorema.  Jadval  ko’rinishida  berilgan  iхtiyoriy  MAF  quyidagi  ko’rinishda 
analitik ifodalanishi mumkin [ ]: 
  f(x
1
,x
2
,...,x
n
)=F
1

F
2

...

F
n
= 
1

F
i
  
 
                                         (1.10) 
bu yerda i-funksiya 1 ga teng bo’lgan to’plamlarning tartib raqami; 
1

- 1 ga teng 
bo’lgan  barcha  F
i
  termlarni  birlashtiruvchi  diz’yunksiya  belgisi.  Haqiqatan, 
qandaydir  to’plamda  funksiya  f(x
1
*
,x
2
*
,...,x
n
*
)=1  bo’lsa,  х

1=1  bo’lganligi  sababli  
(1.10)  ifodaning  o’ng  tarafida  1  ga  teng  bo’lgan  element  doimo  topiladi;  agar  i-
to’plamda  funksiya  f(x
1
*
,x
2
*
,...,x
n
*
)=0  bo’lsa,  (1.10)  ifodaning  o’ng  tarafida  bitta 
ham 1 ga teng bo’lgan element topilmaydi, chunki 0

0

...

0=0. 
Shunday  qilib,  f
i
=1  bo’lgandagi  har  bir  i-to’plamga  F
i
=1  bo’lgan  element 
to’g’ri  keladi,  f
i
=0  bo’lgandagi  to’plamlarga  esa  bitta  ham  F
i
=1  bo’lgan  element 
to’g’ri  kelmaydi.  Shu  sababli,  haqiqiylik  jadvali  (1.11-jadval)  ko’rinishidagi 
analitik yozuv orqali bir qiymatli akslantiriladi. (1.11-jadval) ifodani  termlarning