Mavzu: Normal formalar. Mdnf, mknf. Mulohazalar algebrasi formulalarini mdnf va mknf larda ifodalash



Download 221,14 Kb.
bet4/5
Sana08.07.2022
Hajmi221,14 Kb.
#758746
1   2   3   4   5
Bog'liq
Mavzu Normal formalar. Mdnf, mknf. Mulohazalar algebrasi formul

4- misol. Formulani MKNShga keltirish algoritmidan foydalanib , , va elementar mulohazalarning formulasini MKNShga keltiramiz. Dastlab, algoritmning 1- bandiga ko‘ra, berilgan formulani KNShga keltiramiz. Buning uchun, avvalo, va teng kuchliliklardan foydalanib formulani faqat kon’yunksiya, diz’yunksiya va inkor mantiqiy amallari orqali ifodalaymiz:
.
Hosil bo‘lgan formulaga teng kuchlilikni qo‘llasak, formula KNShga keladi.
KNSh ifodasida barcha elementar diz’yunksiyalar turlicha bo‘lganligi sababli algoritmning 2- bandini bajarishga hojat yo‘q.
KNSh ifodasidagi 1- va 2- elementar diz’yunksiyalar to‘g‘ri elementar diz’yunksiyalar bo‘lmaganligi uchun algoritmning 3- banda ifodalangan jarayonlarni bajarishga o‘tamiz. KNSh ifodasidagi hech qaysi elementar diz’yunksiya ifodasida birorta ham o‘zgaruvchi o‘zining inkori bilan birgalikda qatnashmaganligi sababli 3- banddagi a) hol bu yerda ro‘y bermaydi. KNSh ifodasidagi 1- elementar diz’yunksiyada , 2- elementar diz’yunksiyada esa ikki marta qatnashgani uchun b) holda bayon qilingandek ish yuritib, formula uchun barcha elementar diz’yunksiyalari to‘g‘ri elementar diz’yunksiyalardan iborat KNShni hosil qilamiz. Ushbu bobning 5- paragrafidagi 2- teoremaga asosan, formula tavtologiya emas.
Algoritmning 4- bandini bajaramiz. Ko‘rinib turibdiki, KNShdagi 1- elementar diz’yunksiyada , va , 2- elementar diz’yunksiyada , va , 3- va 4- elementar diz’yunksiyalarda esa va o‘zgaruvchilar yoki ularning inkorlari yo‘q. Shularni e’tiborga olib, KNSh ifodasidagi to‘rtala elementar diz’yunksiyalarni to‘liq elementar diz’yunksiyalar shakliga keltirish maqsadida 4- bandda ifodalangan jarayonni qo‘llaymiz. Natijada 1- elementar diz’yunksiya ( ) uchun







,
2- elementar diz’yunksiya ( ) uchun2


,
3- elementar diz’yunksiya ( ) uchun


va 4- elementar diz’yunksiya ( ) uchun


teng kuchliliklarga ega bo‘lamiz.
Topilgan barcha KNShlar , , va elementar mulohazalarga nisbatan to‘liq KNShlardir. Bu KNShlarni o‘zaro solishtirib, ularning tarkibida bir xil elementar diz’yunksiyalar bor (masalan, 1- va 2- KNShlardagi elementar diz’yunksiya) bo‘lgan vaziyat ro‘y berganligini aniqlaymiz. Shuning uchun, algoritmning 5- bandi boshqarishni uning 2- bandiga o‘tkazadi.
Algoritmning 2- bandini bajarib, formula uchun





KNSh ifodasiga ega bo‘lamiz.
Algoritmning 3- bandi boshqarishni uning 4- bandiga, 4- bandi esa 6- bandiga o‘tkazadi, chunki oxirgi KNSh ifodasidagi barcha elementar diz’yunksiyalar to‘g‘ri va to‘liq elementar diz’yunksiyalardir. Sunday qilib, berilgan formula uchun oxirgi formula MKNShdir. ■
Ravshanki, agar formulaning MKNShi tarkibida qatnashuvchi barcha ifodalardagi belgi o‘rniga belgi va, aksincha, o‘rniga qo‘yilsa, u holda MDNSh hosil bo‘ladi. Xuddi shuningdek, agar formulaning MDNShi tarkibida qatnashuvchi barcha ifodalarda shunday o‘zgartirishlar bajarilsa, u holda MKNSh hosil bo‘ladi.

Download 221,14 Kb.

Do'stlaringiz bilan baham:
1   2   3   4   5




Ma'lumotlar bazasi mualliflik huquqi bilan himoyalangan ©hozir.org 2024
ma'muriyatiga murojaat qiling

kiriting | ro'yxatdan o'tish
    Bosh sahifa
юртда тантана
Боғда битган
Бугун юртда
Эшитганлар жилманглар
Эшитмадим деманглар
битган бодомлар
Yangiariq tumani
qitish marakazi
Raqamli texnologiyalar
ilishida muhokamadan
tasdiqqa tavsiya
tavsiya etilgan
iqtisodiyot kafedrasi
steiermarkischen landesregierung
asarlaringizni yuboring
o'zingizning asarlaringizni
Iltimos faqat
faqat o'zingizning
steierm rkischen
landesregierung fachabteilung
rkischen landesregierung
hamshira loyihasi
loyihasi mavsum
faolyatining oqibatlari
asosiy adabiyotlar
fakulteti ahborot
ahborot havfsizligi
havfsizligi kafedrasi
fanidan bo’yicha
fakulteti iqtisodiyot
boshqaruv fakulteti
chiqarishda boshqaruv
ishlab chiqarishda
iqtisodiyot fakultet
multiservis tarmoqlari
fanidan asosiy
Uzbek fanidan
mavzulari potok
asosidagi multiservis
'aliyyil a'ziym
billahil 'aliyyil
illaa billahil
quvvata illaa
falah' deganida
Kompyuter savodxonligi
bo’yicha mustaqil
'alal falah'
Hayya 'alal
'alas soloh
Hayya 'alas
mavsum boyicha


yuklab olish