1. Agar funktsiya a ni b ga turli qiymatli akslantirish bo‘lsa, u holda funktsiya a va b to‘plamlarning o‘zaro bir qiymatli mosligi

Marshrutning uzunligi deb undagi qirralar soniga aytiladi.
Turli qirralardan tashkil topgan marshrutga zanjir deb ataladi. Agar zanjirning chetlaridan tashqari barcha uchlari turlicha bo‘lsa, u holda uni oddiy zanjir deb ataydilar.


41-bilet
1.Muloxaza. Аbsolyut chin (yolg’on) muloxaza. Qiymatlarsatri. Inkor, konyunktsiya, dizyunktsiya, ekvivalentsiya va implikatsiya mantiliy amallari. Sheffer amali.Matematik mantikning ushbu muloxazalar algebrasi deb atalgan bo’limida asosiy tekshirish obyektlari bo’lib gaplar xizmat qiladi. Matematik mantik, xar bir gapning maʼnosiga qarab, uning chin, xaqqoniy, tug’ri yoki yolg’on, notug’ri bo’lishi bilangina qizikadi Faqat chin yoki yolg’on qiymat qabul qila oladigan darak gap muloxaza deb ataladi.Demak, xar bir muloxaza maʼlum xolatda chin yoki yolgon Kiymatga ega. Bundan keyin, chin kiymatni kiskacha «ch» xarfi va yolgon kiymatni «yo» xarfi bilan belgilaymiz.. – konyunksiya - Pirs strelkasi - 2 modul bo’yicha qo’shish yoki Jegalkin yig’indisi
Bul funksiyalarining qiymatlar jadvaliga chinlik jadvali deyiladi. Har qanday n o’lchovli f(x₁, x₂, … ,x_n) Bul funksiyani chinlik jadvali orqali berish mumkin:
– ekvivalentlik – dizyunksiya - Sheffer shtrixi – implikatsiya Mulohazalar ustida mantiqiy amallar. Mulohazalar ustida konyunksiya, dizyunksiya, implikatsiya va ekvivalensiya amallari mavjud bo’lib ularning rostlik jadvali quydagicha bo’ladi: ³ Konyunksiya amali (k.a). x va y o‘zgaruvchi mulohazalar ustida bajariladigan k.a (^), (∙) yoki (&) ko‘rinishda va bu amal natijasida xosil bo‘ladigan mulohazani x y yoki yoki x&y yoki x&y=min(x,y) ko‘rinshda belgilaymiz.
Ta’rif. Ikkala x va y mulohaza chin bo‘lsagina ularning kon’yunksiyasi x y mulohaza qiymati chin, x va y ning kamida bitasi yolg‘on bo‘lsa x y mulohaza yolg‘ondir.
Konyunksiya amali «va» bog‘lovchisiga mos keladi. Bu tarif jadval ko’rinishida quyidagicha bo’ladi.
2. Barcha mulohazalarni tadqiq qilish oson bo’lishi uchun mantiqiy qonunlar yordamida ularni biror umumiy standart ko’rinishga keltirish mumkin. Masalan, har qanday Bul algebrasi formulasi uchun unga teng kuchli bo‘lgan va faqatgina inkor ⌐, kon’yunksiya & va diz’yunksiya \/ amallarini o‘z ichiga olgan formulani yozish mumkin. Buning uchun implikasiya va ekvivalentlikdan qutilish qonunlaridan foydalanish yetarli. Ta’rif 2. A₁, A₂, …, A_n mulohaza o‘zgaruvchilarning yoki ularni inkorlarining kon’yunksiyasi kon’yunktiv birxad deyiladi.Misol. ⌐A₁&A₂&A₃, ⌐A₁&A₂&A₃&⌐A₄, A&B, ⌐A&B, A&⌐C; ⌐(A&C) – kon`yunktiv birhad bo’la olmaydi, chunki agar qavs ochilsa, kon`yunktsiya amali diz`yunktsiya amaliga aylanib qoladi. Ta’rif 3. A₁, A₂, …, A_n mulohaza o‘zgaruvchilarning yoki ularni inkorlarining diz’yunksiyasi diz’yunktiv birxad deyiladi.Misol. ⌐A₁\/A₂\/A₃ , .