Mukammal kon’yuktiv normal shakl (MKNSH).
Кon’yuktiv normal shakl (KNSH) deb funksiyani har biri, argumentning sodda dizyunksiyasi (yoki ularning inversiyalari) bo‘ladigan hadlar qatorining kon’uynksiyasi ko‘rinishida tasvirlash shakliga aytiladi.
MKNSHga funksiyani tasvirlashning quyidagi shakli misol bo‘la oladi :
MKNSH bo‘lmaydigan funksiyani tasvirlash shaklini keltiramiz :
Bu shakl MKNSH bo‘lmaydi, chunki uning birinchi hadi qolganlari bilan kon’yunksiya amali orqali bog‘lanmagan.
KNSHning har bir hadida MKNSH barcha argumentlari keltirilgan bo‘lishi kerak . KNSHdan MKNSH ga o‘tish uchun barcha argumentlarni o‘z ichiga olmaydigan har bir hadiga хi*хi ko‘rinishdagi hadlarni qo‘shish kerak, bu yerda хi haddagi mavjud bo‘lmagan argument
хi*х = 0 bo‘lgani uchun bunday amal funksiyaning qiymatiga ta’sir qilmaydi.
Do'stlaringiz bilan baham: |