formulalarnung normal shakllari

PDF 18 pages 1.1 MB Free download

Page preview (5 pages)

Scroll down 👇
1 / 18
qoʻqon davlat universitetining aniq fanlar va muhandislik fakulteti matematika va informatika yoʻnalishi 08/23-guruh talabasi roziqova mamlakatxonning algebra va sonla nazariyasi fanidan amaliy topshirig`i qoʻqon davlat universitetining aniq fanlar va muhandislik fakulteti matematika va informatika yoʻnalishi 09/23-guruh talabasi inomova durdonaxonning algebra va sonla nazariyasi fanidan amaliy topshirig`i mustaqil ishning maqsadi: talabalarda mantiqiy formulalarni normal shakllarga keltirish jarayonini tushuntirish, dnf (dis’yunktiv normal forma) va knf (kon’yunktiv normal forma) turlari bilan tanishtirish. mavzu:formulalarning normal shakllari reja: formulaning mantiqiy tuzilishi normal shakl tushunchasi disyunktiv normal forma (dnf) konyunktiv normal forma (knf) dnf va knf o‘zaro bog‘lanishi amaliy misol xulosa izohli lug`at test foydalanilgan adabiyotlar formulaning mantiqiy tuzilishi normal shakl tushunchasi normal shakl — mantiqiy formulani standart, strukturaviy ko‘rinishga keltirish usuli. eng keng tarqaganlari: dnf (dis’yunktiv normal forma) va knf/cnf (kon’yunktiv normal forma). asosiy turlari va nima ifodalaydi: dnf (dis’yunktiv normal forma): bir nechta kon’yunksiyalarning (∧) dis’yunksiyasi (∨). har bir kon’yunksiya — literallar (a yoki …
2 / 18
minimizatsiya kerak. canonical variantlar: to‘liq dnf (pdnf) yoki to‘liq knf (pcnf) bor — ular haqiqiy/yolg‘on jadvaldagi har bir satrni aniq ko‘rsatadi, lekin eng katta hajmga ega bo‘ladi. dis’yunktiv normal forma (dnf) kon’yunktiv normal forma (knf) belgilanish tuzilishi maqsad dnf (∧) ichida (∨) rost holatlarni ifodalaydi knf (∨) ichida (∧) yolg‘on holatlarni ifodalaydi dnf va knf farqi dnf va knf o‘zaro bog‘lanishi har qanday formula dnf yoki knf shakliga o‘tkazilishi mumkin. bu o‘tkazish de morgan qonunlari va tautologiyalar yordamida amalga oshiriladi. de morgan qonunlari amaliy misol afzalliklari formulalarni tahlil qilish va tekshirish osonlashadi. mantiqiy sxemalarni qurishda qulay. kompyuterda avtomatik isbotlash tizimlari uchun asos bo‘ladi. hisoblanuvchanlik nazariyasida formulalar ustida algoritmlarni ishlab chiqishga yordam beradi. 🔹 tizimlilik: har qanday formula yagona standart (dnf yoki knf) ko‘rinishga keltiriladi, bu mantiqiy tahlilni soddalashtiradi. 🔹 aniqlik: formula qaysi holatlarda rost yoki yolg‘on bo‘lishi aniq ko‘rinadi. 🔹 hisoblash qulayligi: kompyuter va algoritmik tizimlar normal shakllarni oson qayta …
3 / 18
akllar nafaqat nazariy jihatdan muhim (chunki har qanday bo‘g‘lama formulani dnf yoki knf ga aylantirish mumkin), balki amaliy jihatdan ham zarur: ular avtomatik tekshiruv, mantiqiy optimizatsiya, elektron sxema sintetikasi va isbotlash tizimlarida keng qo‘llaniladi. asosiy xulosalar: universallik: har qanday mantiqiy formula dnf yoki knf ga aylantirilishi mumkin — bu normal shakllarning to‘liq va umumiy ekanligini ko‘rsatadi. tahlil osonligi: normal shakllar orqali formula tuzilishining xususiyatlari (masalan, qaysi kombinatsiyalar rost natija beradi yoki bermaydi) aniq ko‘rinadi, shuning uchun haqiqat jadvali va sodda optimizatsiyalarni qurish qulaylashadi. amaliy foyda: knf ko‘pincha sat (qoniqtirish) masalalari va mantiqiy cheklov tekshiruvlarida ishlatiladi; dnf esa rost holatlarni bevosita ifodalash orqali ayrim tahlillarni osonlashtiradi. transformatsiya qoidalari: de morgan qonunlari, distributivlik va ikkinchi darajali mantiqiy identitilar orqali formulani normal shakllarga aylantirish algoritmik va tartibli jarayon bo‘lib, uni avtomatlashtirish mumkin. test 5.formulaning normal shakli nima? a) standartlashgan mantiqiy ifoda 🔹 b) standartlashmagan mantiqiy ifoda foydalanilgan adabiyotlar: 1.tfraev h.t., matematik mantiq va …
4 / 18
formulalarnung normal shakllari - Page 4
5 / 18
formulalarnung normal shakllari - Page 5

Want to read more?

Download all 18 pages for free via Telegram.

Download full file

About "formulalarnung normal shakllari"

qoʻqon davlat universitetining aniq fanlar va muhandislik fakulteti matematika va informatika yoʻnalishi 08/23-guruh talabasi roziqova mamlakatxonning algebra va sonla nazariyasi fanidan amaliy topshirig`i qoʻqon davlat universitetining aniq fanlar va muhandislik fakulteti matematika va informatika yoʻnalishi 09/23-guruh talabasi inomova durdonaxonning algebra va sonla nazariyasi fanidan amaliy topshirig`i mustaqil ishning maqsadi: talabalarda mantiqiy formulalarni normal shakllarga keltirish jarayonini tushuntirish, dnf (dis’yunktiv normal forma) va knf (kon’yunktiv normal forma) turlari bilan tanishtirish. mavzu:formulalarning normal shakllari reja: formulaning mantiqiy tuzilishi normal shakl tushunchasi disyunktiv normal forma (dnf) konyunktiv normal forma (knf) dnf va knf o‘zaro bog‘la...

This file contains 18 pages in PDF format (1.1 MB). To download "formulalarnung normal shakllari", click the Telegram button on the left.

Tags: formulalarnung normal shakllari PDF 18 pages Free download Telegram