50-bilet
1.Diskret matematikada ham dekart ko’paytmaning barcha tartiblangan juftliklari orasidan o’zaro qandaydir “qarindoshlik” munosabatlariga ega bo’lgan juftliklarni ajratib ko’rsatish mumkin. Ixtiyoriy ikki to’plamning elementlari orasidagi munosabatlar uchun binar munosabat tushunchasini kiritamiz. Bu tushuncha matematika kabi informatikada ham ko’p uchraydi. Bir nechta to’plam elementlari orasidagi munosabat ma’lumotlar jadvali shaklida beriladi. Ushbu bob tadbiqini ma’lumotlar bazasini boshqarish tizimini tasvirlashda ishlatiladigan n – ar munosabatlarda ko’rish mumkin.
2 Rоst mulохaza хоsil qilish,tavtоlоgiya, qоnunlar, qоidalar, konyunksiya va dizyunksiya хоssalari. Impliqatsiya va ekvivalеntlik хоssalari, bir lоgik amalni bоshqasi оrqali ifоdalash, хulоsalash qоidasi, mоdus rоnens, o’rniga qo’yish qоidasi.
qiymatlar satrini tashkil etadi. Bu mulohazalarning har bir formulasi ba’zi qiymatlar satrlarida «1» qiymatini va ba’zilarida «0» qiymatni qabul qiladi. Ta’rif. formula «1» qiymat qabul qiluvchi elementar mulohazalarning hamma qiymatlari satrlaridan tuzilgan to’plam furmulaning chinlik to’plami deyiladi.
3. Ta’rif 5. Dizyunktiv birxadlarning kon’yunksiyasiga kon’yunktiv normal shakl (KNSh) deyiladi.
Misol. (⌐A1\/A2\/A3 )&(A1\/⌐A2\/⌐A3) . Ta’rif 1. Agar birhadda Ai yoki ⌐Ai formulalar juftligidan faqat bittasi qatnashgan bo‘lsa, A1, A2, …, An mulohaza o‘zgaruvchilarining kon’yunktiv yoki diz’yunktiv birhadlari mukammal deyiladi.Ta‘rif 2. Agar kon’yunktiv normal shaklda A1,A2,…,An mulohaza o‘zgaruvchilarning takrorlanmaydigan mukammal diz’yunktiv birhadlari qatnashgan bo‘lsa, u holda mukammal kon’yunktiv normal shakl (MKNSh) deyiladi.
Do'stlaringiz bilan baham: |