mdnsh va mknsh dagi fikriy ifodalar uchun kontakt-rele sxemalarini tuzish usullari

DOCX 14 sahifa 47,0 KB Bepul yuklash

Sahifa ko'rinishi (5 sahifa)

Pastga aylantiring 👇
1 / 14
o’zbekiston respublikasi raqamli texnologiyalari vazirligi toshkent axborot texnologiyalari universiteti mustaqil ishi guruh: bajardi: toshkent 2023 mavzu: mdnsh va mknsh dagi fikriy ifodalar uchun kontakt-rele sxemalarini tuzish usullari. analiz, sintez masalalari. reja kirish 1.normal shakllar va mukammal normal shakllar 2.mukammal kon’yuktiv va mukammal kon’yuktiv nor- mal shakl. 3.mknsh. 4.dnsh va mknsh. xulosa. foydalanilgan adabiyotlar. normal shakllar. har bir fikr algebrasi formulasi uchun unga teng kuchli bo‘lgan va faqatgina inkor ⌐, kon’yunksiya &, diz’yunksiya \/ amallarini o‘z ichiga olgan formulani keltirish mumkin. buning uchun implikasiya va ekvivalensiyadan qutulish qoidalaridan foydalanish kifoya. ta’rif 1. a1, a2, …, an fikr o‘zgaruvchilarining kon’yunktiv bir hadi deb, ushbu o‘zgaruvchilar yoki ularning teskarilarining kon’yunksiyasiga aytiladi. masalan: ⌐a1&a2&a3 , ⌐a1&a2&a3&⌐a4 ta’rif 2. a1, a2, …, an fikr o‘zgaruvchilarining diz’yunktiv bir hadi deb, ushbu o‘zgaruvchilarning yoki ularning teskarilarining diz’yunksiyasiga aytiladi. masalan: ⌐a1\/a2\/a3 mukammal normal shakllar · mukammal normal shakllar · ta’rif 5. agar bir hadga ai yoki ⌐ai formulalar …
2 / 14
i mumkin. bu namoyishlar orasida alohida o'rinni mukammal dnf (sdnf) va mukammal cnf (sknf) egallaydi. ta'rif 1. a'lo disjunktiv normal shakl(sdnf) - bu dnf bo'lib, unda har bir kon'yunktiv monomialda to'plamdagi har bir o'zgaruvchi aynan bir marta sodir bo'ladi va o'zi yoki uning inkor qilinishi paydo bo'ladi. konstruktiv ravishda, dnfga tushirilgan taklif algebrasining har bir formulasi uchun sdnf quyidagicha ta'riflanishi mumkin: ta'rif 2. a'lo disjunktiv normal shakl(sdnf) taklifli algebra formulasi quyidagi xususiyatlarga ega bo'lgan dnf deb nomlanadi: ta'rif 3. barkamol kon'yunktiv normal shakl(sknf) - bu har bir ajratuvchi monomialda to'plamdagi har bir o'zgaruvchi aynan bir marta sodir bo'ladigan va o'zi yoki uning inkor qilinishi paydo bo'ladigan cnf. strukturaviy ravishda, cnf ga tushirilgan taklif algebrasining har bir formulasi uchun sknf quyidagicha ta'riflanishi mumkin. ta'rif 4. barkamol kon'yunktiv normal shakl(sknf) berilgan taklifli algebra formulasi quyidagi xususiyatlarga javob beradigan cnf deb ataladi. teorema 1. bir xil noto'g'ri bo'lmagan o'zgaruvchilarning har bir mantiqiy funktsiyasi …
3 / 14
aridan foydalangan holda "" to'plamini chiqarib tashlaylik: = / de morgan va er -xotin inkor qonunlari / = / tarqatish qonunlari / = 2 -misol. formulani dnf ga keltiring. yechim mantiqiy operatsiyalarni quyidagicha ifodalaylik va: = / biz inkorni o'zgaruvchilarga havola qilamiz va ikkita negativni kamaytiramiz / = = / tarqatish qonuni /. misol 3. formulani dnf va sdnf ga yozing. yechim mantiq qonunlaridan foydalanib, biz bu formulani faqat elementar birikmalarning disjunksiyalarini o'z ichiga oladigan shaklga keltiramiz. olingan formula kerakli dnf bo'ladi: sdnfni yaratish uchun biz ushbu formula uchun haqiqat jadvalini tuzamiz: biz jadvalning satrlarini belgilaymiz, unda formula (oxirgi ustun) 1 qiymatini oladi. har bir bunday satr uchun biz berilgan satrning o'zgaruvchilar to'plamiga to'g'ri keladigan formulani yozamiz. bu uchta formulaning disjunksiyasi 1 qiymatini faqat 1, 3, 5 qatorlar o'zgaruvchilar to'plamida oladi va shuning uchun istalgan mukammal disjunktiv normal shakl (sdnf) bo'ladi: misol 4. formulani sknfga ikki yo'l bilan keltiring: a) …
4 / 14
inishi orqali ifodalansa, bu tasvirning shakli normal deyiladi. oddiy shakllar orasida mukammal normal shakllar ajratiladi (funktsiyalari o'ziga xos tarzda yozilgan shakllar). mukammal kon’yuktiv normal shakl (mknsh). kon’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. minimal knsh (mknsh) ni hosil qilish uchun, 0 ni o‘z ichiga oluvchi kataklar sohalarga joylashtiriladi va mknsh hadlari alohida sohalar uchun hosil qilingan raqamlar inversiyasi orqali yoziladi. elementar kon’yunksiya va elementar diz’yunksiya tushunchalari. turli amaliy masalalarni yechishda mantiq algebrasining ahamiyati kattadir. jumladan, kontakt va rele-kontaktli sxemalar bilan bog‘liq muammolarni hal qilishda, diskret ravishda ish ko‘ruvchi texnikaga oid masalalarni hamda matematik dasturlashning turli masalalarini yechishda mantiq algebrasi ko‘p qo‘llaniladi. mantiq algebrasidan foydalanib amaliy masalalarni hal qilishda esa mantiqiy formulalarning normal shakllari deb ataluvchi yozuvlar katta ahamiyatga egadir. elementar kon’yunksiya va elementar diz’yunksiya tushunchalari. turli amaliy masalalarni yechishda mantiq algebrasining ahamiyati kattadir. jumladan, kontakt …
5 / 14
ataladi. formulaning normal shakllari. formulaning normal shakllari quyidagi ta’rif asosida aniqlanadi. 2- t a ’ r i f . berilgan formulaning kon’yunktiv normal shakli deb unga teng kuchli va elementar diz’yunksiyalarning kon’yunksiyalaridan tashkil topgan formulaga, diz’yunktiv normal shakli deb esa unga teng kuchli va elementar kon’yunksiyalarning diz’yunksiyalaridan tashkil topgan formulaga aytiladi. 1- t e o r e m a . mantiq algebrasining ixtiyoriy formulasini knshga keltirish mumkin. 2- t e o r e m a . mantiq algebrasining formulasi tavtologiya bo‘lishi uchun uning knshidagi barcha elementar diz’yunktiv hadlarida kamida bittadan elementar mulohaza o‘zining inkori bilan birga qatnashishi zarur va yetarli. 3- t e o r e m a . mantiq algebrasining ixtiyoriy formulasini dnshga keltirish mumkin. 4- t e o r e ma . mantiq algebrasining formulasi aynan yolg‘on bo‘lishi uchun uning dnshdagi barcha elementar kon’yunktiv hadlarida kamida bittadan elementar mulohaza o‘zining inkori bilan birga qatnashishi zarur va yetarli. to‘g‘ri …

Ko'proq o'qimoqchimisiz?

Barcha 14 sahifani Telegram orqali bepul yuklab oling.

To'liq faylni yuklab olish

"mdnsh va mknsh dagi fikriy ifodalar uchun kontakt-rele sxemalarini tuzish usullari" haqida

o’zbekiston respublikasi raqamli texnologiyalari vazirligi toshkent axborot texnologiyalari universiteti mustaqil ishi guruh: bajardi: toshkent 2023 mavzu: mdnsh va mknsh dagi fikriy ifodalar uchun kontakt-rele sxemalarini tuzish usullari. analiz, sintez masalalari. reja kirish 1.normal shakllar va mukammal normal shakllar 2.mukammal kon’yuktiv va mukammal kon’yuktiv nor- mal shakl. 3.mknsh. 4.dnsh va mknsh. xulosa. foydalanilgan adabiyotlar. normal shakllar. har bir fikr algebrasi formulasi uchun unga teng kuchli bo‘lgan va faqatgina inkor ⌐, kon’yunksiya &, diz’yunksiya \/ amallarini o‘z ichiga olgan formulani keltirish mumkin. buning uchun implikasiya va ekvivalensiyadan qutulish qoidalaridan foydalanish kifoya. ta’rif 1. a1, a2, …, an fikr o‘zgaruvchilarining kon’yunktiv bir hadi deb, ...

Bu fayl DOCX formatida 14 sahifadan iborat (47,0 KB). "mdnsh va mknsh dagi fikriy ifodalar uchun kontakt-rele sxemalarini tuzish usullari"ni yuklab olish uchun chap tomondagi Telegram tugmasini bosing.

Teglar: mdnsh va mknsh dagi fikriy ifod… DOCX 14 sahifa Bepul yuklash Telegram