Mustaqil ish Mavzu: Mukammal dizyunktiv normal forma


Download 0.76 Mb.
Sana09.02.2023
Hajmi0.76 Mb.
#1181939
Bog'liq
diskret slayd

Mustaqil ish

Mavzu:Mukammal dizyunktiv normal forma.

Mukammal kon’yunktiv normal forma

  O’qituvchi: Do’stova Shaxlo

Talaba:Rajabov Diyorbek

REJA: 1.Kirish.Normal shakllar. 2.Mukammal normal shakllar. 3.Rele kontakt sxemalari. 4.Ikkilik mantiqiy elementlar.

Xulosa

Foydalanilgan adabiyotlar

Ta’rif 3. Diz’yunktiv normal shakl (DNSh) deb, kon’yunktiv bir hadlar diz’yunksiyaga aytiladi, ya’ni ai , i=1, 2, …, k kon’yunktiv bir hadlar bo‘lsa a1\/a2\/…\/an - ifodaga Diz’yunktiv normal shakl deyiladi. Ta’rif 4. Kon’yunktiv normal shakl (KNSh) deb, dizyunktiv bir hadlar kon’yunksiyasiga aytiladi, ya’ni bi , i=1, 2, …,l kon’yunktiv bir hadlar bo‘lsa, b1^b2^…^b2 – ifoda KNSh deyiladi. Har bir formula uchun cheksiz ko‘p KNSh, DNSh lari mavjud.

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 Ta’rif 5. Agar bir hadga Ai yoki ⌐Ai formulalar juftligidan faqat bittasi kirgan bo‘lsa, A1, A2, …, An fikr o‘zgaruvchilarining kon’yunktiv yoki diz’yunktiv bir hadlari mukammal deyiladi. Ta‘rif 6. Agar KNSh yoki DNSh larda A1, A2, …, An o‘zgaruvchilarning takrorlanmaydigan mukammal bir hadlari kirgan bo‘lsa, A1, A2, …, An fikr o‘zgaruvchilarining KNSh yoki DNSh lari mukammal deyiladi. Masalan: A^B\/⌐A^B\/A^⌐B – A va B fikr o‘zgaruvchilarining Mukammal diz’yunktiv normal shakli (MDNSh) bo‘ladi. A\/B – esa MKNSh bo‘ladi. Teorema 1. Har bir aynan yolg‘on bo‘lmagan formula yagona MDNF ega bo‘ladi. Teorema 2. Har bir tavtologiya bo‘lmagan fikrlar algebrasi formulasi, yagona MKNSh ga ega bo‘ladi.

Shunday qilib rostlik jadvali “Va” mantiqiy elementining ishlashi haqida to‘liq ma’lumot beradi, ya’ni “Va” mantiqiy funktsiyani tasvirlaydi. “Va” mantiqiy elementi uchun kiritilgan belgilash “A va B kirish signallari “Va” mantiqiy funktsiyasi bilan bog‘langan bo‘lib, chiqishda Y signal paydo bo‘ladi” deb o‘qiladi. Ushbu tasdiqning qisqartirilgan ifodasi BUL IFODASI (A^B) deyiladi. BUL ifodasi – universal til bo‘lib, injenerlar va texnik xodimlar tomonidan raqamli texnikada keng qo‘llaniladi.

“Yoki mantiqiy elementi quyidagicha belgilanadi: Rostlik jadvaliga ko‘ra mos ravishda Bul ifodasi ( yoki A+B=Y ) ko‘rinishda bo‘1adi.

Xulosa. Har bir fan o’rganilar ekan u aynan qaysidir yoki bir necha tarmoqlarga foydasi tegishi sabab o’rganiladi. Shu jumladan ushbu mavzu “Mukammal dizyunktiv normal forma, Mukammal kon’yunktiv normal forma” mavzusi ham texnika texnologiyaga doir bo’lib, ularning ishlash prinsiplarini xarakterlaydi va tushuntirib beradi. Masalan, parallel o’tkazgichlarga yoki , ketma-ket o’tkazgichlarga va belgilashni ; qolgan formulalarga ham o’ziga mos belgilashni kiritib ishlash bu fan orqali juda katta mo’jizalar , yangi ixtirolar yaratish imkonini beradi. Konyu’nktiv bir had, (dizyu’nktiv 1 had) bu berilgan mulohazalar yoki ularning inkorlarining dizyu’nktsiya(konyu’nktsiya)siga aytiladi. Konyu’nktiv (dizyu’nktiv) normal shakl deb dizyunktiv(konyu’nktiv) 1 hadlar konyu’nksiya(dizyu’nksiya)siga aytiladi. Har 1 fikr algebrasida u fikrga mos bo’lgan inkor, konyu’nksiya va dizyu’nksiya orqali mos formula qo’yish mumkin. Bu esa fan texnikada murakkab zanjirlar, sxemalarni aynan yuqoridagilar orqali ifodalash va so’ngra ularni hal qilishga yordam beradi.

E’TIBOR UCHUN RAXMAT


Download 0.76 Mb.

Do'stlaringiz bilan baham:




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