Режа: Формулаларнинг нормал шакллари. Дизъюнктив нормал шакл



Download 293 Kb.
bet1/3
Sana22.02.2022
Hajmi293 Kb.
#103552
  1   2   3
Bog'liq
bes 3 [143](1)I6


7-МАЪРУЗА. НОРМАЛ ШАКЛЛАР


Режа:
1. Формулаларнинг нормал шакллари.
2. Дизъюнктив нормал шакл.


Таянч иборалар. Элементар конъюнкция (дизъюнкция), КНШ, ДНШ, ёлғонлик аломати,
1. Формулаларнинг нормал шакллари
Тенгкучли алмаштиришлар бажариб, мулоҳазалар алгебрасининг формулаларини ҳар хил кўринишларда ёзиш мумкин. Масалан, ВС формулани ёки кўринишларда ёза оламиз.
Қуйидаги белгилашни киритамиз:

= ч эканлиги аниқ.
1-таъриф.
(1)
кўринишдаги формулага элементар конъюнкция деб айтамиз. Бу ерда ихтиёрий қийматлар сатри ва ўзгарувчилар орасида бир хиллари бўлиши мумкин.
2-таъриф.
(2)
кўринишдаги формулага элементар дизъюнкция деб айтамиз. Бу ерда ҳам ихтиёрий қийматлар сатри ва ўзгарувчилар орасида бир хиллари бўлиши мумкин.


3-таъриф. Элементар дизъюнкцияларнинг конъюнкциясига формуланинг конъюнктив нормал шакли (КНШ) ва элементар конъюнкцияларнинг дизъюнкциясига формуланинг дизъюнктив нормал шакли (ДНШ) деб айтилади.
КНШга формула ва ДНШга формула мисол бўла олади.
1-теорема. Элементар мулоҳазаларнинг ҳар бир формуласига тенгкучли конъюнктив нормал шаклдаги формула мавжуд.
Бу теоремани исботлашда ушбу тенгкучлиликлардан фойдаланамиз:
1. ; 2. ;
3. ; 4. ; (3)
5. ; 6. .
Исбот. формула нормал конъюнктив шаклда бўлмаса, қуйидаги ҳоллар бўлиши мумкин:
а) даги элементар мулоҳазалар ва амаллари билангина бирлаштирилган бўлса ҳам, лекин сўнгги амални ифодаламайди. Бу ҳолда дистрибутивлик қонунидан фойдаланиб, сўнгги амали дан иборат тенгкучли формулага келтирамиз.
б) формула , , ,  мантиқий амаллар воситасида тузилган қандайдир формулани ифодаласин. У ҳолда га (3) тенгкучлиликларни татбиқ этиб билан тенгкучли ва , , билан ифодаланган формулани ҳосил қиламиз. Агар КНШ кўринишида бўлмаса, унга дистрибутивлик қонунини татбиқ этиб, чекли қадамлардан кейин билан тенгкучли конъюнктив нормал шаклдаги формулага келамиз.
Изоҳ. формулани конъюнктив нормал шаклга келтириш жараёнида
, , , ,
= , = , = (4)
тенгкучлиликлардан фойдаланиб, уни соддалаштириш мумкин.

Download 293 Kb.

Do'stlaringiz bilan baham:
  1   2   3




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