Mavzular: Sun'iy intellekt va robototexnika Mutaxassisligi: dasturchi


Download 0.88 Mb.
bet6/9
Sana05.01.2022
Hajmi0.88 Mb.
#224750
1   2   3   4   5   6   7   8   9
Bog'liq
neyron uzb

Y = x1(x2x3);

Z = (x1 )( x2).

Y ifodasi disjunktiv normal shakl (DNF) bilan ifodalanadi. Z ifodasi deyarli ishlatilmaydigan kon'yunktiv normal shaklga (CNF) to'g'ri keladi.

Keling, o'zgartiraylik:

Z = (x1)(x1x2)(). (Учитывается, что x2 = 0.)

Bu disjunktiv normal shakl.

Amalda, masalan, elektron moslamalarni loyihalashda,

kirishda signallarning har xil qiymatlari uchun ma'lum bir chiqishda qanday signal hosil bo'lishi kerakligi oldindan ma'lum. Keyin berilgan chiqishda signal hosil bo'lishini tavsiflovchi mantiqiy funktsiya qiymatlari jadvaldagi barcha mumkin bo'lgan vaziyatlarga qarab o'rnatiladi. Bunday jadvalga binoan kerakli mantiqiy funktsiya uchun analitik ifoda mukammal disjunktiv normal shakl (SDNF) shaklida hosil bo'ladi. Biz uchta o'zgaruvchini misol qilib uning umumiy ko'rinishini namoyish etamiz:



f = f(0, 0, 0) ()  f(0, 0, 1) ( x3)  f(0, 1, 0)( x2 )  f(0, 1, 1)( x2x3)  f(1, 0, 0)(x1 )  f(1, 0, 1)(x1x3)  f(1, 1, 0)  (x1 x2 )  f(1, 1, 1)  (x1 x2 x3). (1.11)

O'zgaruvchilarning barcha qiymatlari uchun biz yuqoridagi mantiqiy funktsiyalar Y va Z qiymatlarini hisoblaymiz (1.1-jadval).

Yorliq. 1.1. Mantiqiy funktsiya qiymatlari


x1

x2

x3

Y

Z

0

0

0

0

1

0

0

1

0

0

0

1

0

0

0

0

1

1

1

0

1

0

0

1

1

1

0

1

1

0

1

1

0

1

1

1

1

1

1

1

Yuqoridagi Y va Z funktsiyalarini ularning SDNF asosida tuzishga harakat qilaylik, ya'ni. ushbu yondashuvning to'g'riligini tekshirib ko'ramiz.

Y = x2 x3x1   x1  x3 x1 x2   x1 x2 x3.

Ekvivalent transformatsiyalardan so'ng (qavs ichidan x1 qo'yishdan boshlang), biz quyidagilarni olamiz:



Y = x2 x3x1, bu Y bilan bir xil.


Xuddi shunday,

Z = x1   x1 x2   x1 x2 x3.

Ekvivalent transformatsiyalardan so'ng biz topamiz



Z = ()  (x1 x2).

1.1-jadval shuni ko'rsatadiki, o'zgaruvchilarning bir xil qiymatlar to'plamidan Z va Z  ning barcha qiymatlari mos keladi. Ammo Z  Z ning atigi ikkita «atamasi» bilan hosil qilingan. X1 birikmasi «ortiqcha» bo'lib chiqdi va natijaga ta'sir qilmaydi. Bu shundan dalolat beradiki, SDNF yordamida mantiqiy funktsiyani analitik shaklini jadvalga berilgan topshirig'iga ko'ra shakllantirish hisob-kitoblar natijalariga ta'sir qilmaydigan keraksiz konstruksiyalarsiz, eng sodda (ixcham) tasvirni olish imkonini beradi.

Ushbu bo'limning yakunida biz standart elementlar to'plamiga asoslangan elektron sxemalarni loyihalashda keng qo'llaniladigan parchalanish teoremasiga muvofiq SDNF ustida qurilgan umumlashtirishni taqdim etamiz. Avvalgidek, biz to'rtta o'zgaruvchini misol qilib ushbu teoremaning mohiyatini namoyish etamiz:

f = f(x1x200) f(x1x201) x4 f(x1x210)x3 f(x1x211) x3 x4.


3. Har xil voqealar Quyidagi ta'riflar voqealar haqidagi so'zlarning semantik xususiyatlariga ta'sir qilmasdan qolmaydi. Bayonotlarning haqiqat yoki yolg'onligida ifodalangan sof rasmiy xususiyatlaridan tashqari, ular mazmunli mohiyatdan yoki ular aytadigan kontekstdan to'liq mavhum bo'lish mumkin emas. Ta'rif 4. To'liq voqealar to'plami (IMS) ushbu hodisalar tomonidan shakllantiriladi, ular haqida bayonot ob'ekti namoyon bo'lishining barcha mumkin bo'lgan semantik doirasini qamrab oladigan bayonotlar to'plami va har bir qabul qilinadigan vaziyat bu qiymat bilan tavsiflanadi HAQIQ (1) mumkin ushbu umumiylikdan bitta bayonotni qabul qiling. (Barcha bayonotlar 0 qiymatini olishi mumkin.)

Keling, bir nechta misollarni ko'rib chiqaylik.

1) Tahririyat kengashi uchtadan iborat: Ivanov, Petrov, Sidorov. So'ngra ushbu shaxslarning ismlarini e'lon qilish, yig'ilish prezidiumiga jamoaning yagona vakili ko'rsatilganda, tadbirlarning to'liq majmuini belgilaydi.

2) jazolanadigan haddan tashqari tezlik diapazonlarga bo'linadi: 10% gacha, 10% dan 20% gacha, 20% dan yuqori. Biroq, agar me'yoriy hujjatda faqat 10% gacha va 10% dan 10 gacha bo'lsa

100%, keyin bu to'liq voqealar to'plamiga mos kelmaydi. Mumkin bo'lgan vaziyatlarning bunday bo'shashgan ta'riflari qonuniy kasuistikaning sababi bo'lib, presedentni qo'shimcha tekshirishni talab qiladi.

Shunday qilib, A = {x1, ..., xn} bayonotlar to'plamiga mos keladigan IMS, tegishli sharoitlarda ushbu to'plamning bitta va bitta fikri 1 qiymatini olishi mumkinligi bilan tavsiflanadi. eksklyuziv yoki operatsiya, biz buni belgilaymiz.

ICdan voqealar haqidagi bayonotlarning asosiy xususiyatlari aniq:

= x1xi-1xi+1xn. (1.12)




Download 0.88 Mb.

Do'stlaringiz bilan baham:
1   2   3   4   5   6   7   8   9




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