2) . Formulani qatorga yoyish. Yuqorida keltirilgan mulohazalardan ta o‘zgaruvchilarga bog‘liq, aynan yolg‘on bo‘lmagan ixtiyoriy formulani (funksiyani) MDNShda
(1)
yozish mumkinligi kelib chiqadi. (1) teng kuchlilikning o‘ng tomonidagi (tagida yozilgan) belgi o‘zgaruvchili kon’yunktiv konstituyentlar diz’yunksiyalarini bildiradi. Bu yerda diz’yunksiya amallari shartni qanoatlantiruvchi barcha kon’yunktiv konstituyentlarga nisbatan amalga oshiriladi.
(1) teng kuchlilikni quyidagicha ham yozish mumkin:
.
Bu teng kuchlilikning o‘ng tomonidagi diz’yunksiya amallari mumkin bo‘lgan barcha ta kon’yunktiv konstituyentlar ustida bajarilishi ko‘zda tutilsada, aslida, diz’yunksiyalar shartni qanoatlantiruvchi kon’yunktiv konstituyentlarga nisbatan amalga oshiriladi.
(1) yozuvni matematik analizdagi funksiyaning darajali qatotga yoyilishi tushunchsiga qiyoslab, formulaning (funksiyaning) qatorga yoyilishi deb atash mumkin2.
Yuqorida keltirilgan mulohazalar asosida ta o‘zgaruvchilarga bog‘liq, tavtologiyadan farqli ixtiyoriy formulani (funksiyani) quyidagi MKNShga keltirish mumkin:
. (2)
(2) teng kuchlilikni
ko‘rinishda ham yozish mumkin. Bu teng kuchlilikning o‘ng tomonidagi kon’yunksiya amallari mumkin bo‘lgan barcha ( ta) diz’yunktiv konstituyentlar ustida bajarilishi ko‘zda tutiladi, ammo, bu yerda kon’yunksiya amallari shartni qanoatlantiruvchi diz’yunktiv konstituyentlarga nisbatan amalga oshiriladi.
Shunday qilib, chinlik jadvalidan foydalanib (1) va (2) formulalar vositasida aynan chindan farqli istalgan funksiyani MKNSh va aynan yolg‘ondan farqli istalgan
funksiyani esa MDNSh ko‘rinishida yozish mumkin.
3)Grafning maxsus turdagi ko‘phad yordamida berilishi. Grafni maxsus turdagi ko‘phad yordamida ham berish mumkinligini ta’kidlaymiz. Uchlari to‘plami bo‘lgan graf berilgan bo‘lsin. grafning yakkalangan uchlari yo‘q deb faraz qilamiz,. Bu grafni ta o‘zgaruvchilarga bog‘liq
ko‘rinishdagi ko‘phad yordamida tasvirlash mumkin, bu yerda ko‘paytma shartni qanoatlantiruvchi barcha juftlar bo‘yicha amalga oshiriladi, o‘zgaruvchi uchga mos keladi, – va uchlarni tutashtiruvchi qirralar soni, – uchdagi sirtmoqlar soni.
Do'stlaringiz bilan baham: |