Matematik mantiq va diskret matematika
tarix 24.12.2023 ölçüsü 135,79 Kb. #192843
Matematik mantiq va diskret matematika yakuniy nazorat savolnomasi
A.Qodiriy nomidagi JDPU matematika va informatika fakulteti matematika va informatika yo’nalishi 4-kurs talabalariga “Matematik mantiq va diskret matematika” fanidan yakuniy nazorat savolnomasi
Rostlik jadvali asosida formulani tiklash
Bul algebrasi
To’plamlar nazariyasining asosiy tushunchalari
Mukammal konyunktiv va dizyunktiv normal shallar
Normal formalar
Ikkilik printsipi
To’plamlar algebrasi
Formulalarning normal shakllari
Mulohaza, Mulohaza ustida amallar
Kon’yunktiv normal shaklga keltirish algoritmi.
Munosabatlar. Binar munosabatlar
Sheffer amali va uning chinlik jadvali
Mulohaza, Mulohaza ustida amallar
Teng kuchli formulalarga doir teoremalar
Teng kuchlimas formulalar soni
Rele-kontakt sxemalar
Kon’yunktiv normal shaklga keltirish algoritmi.
Elementar dizyunksiya
Mukammal konyunktiv va dizyunktiv normal shallar
Rostlik jadvali asosida formulani tiklash
Аsosiy teng kuchli formulalar
Mukammal dizyunktiv normal shakl
Munosabatlar. Binar munosabatlar
Formulalarning chinlik to’plami
Formulalarning normal shakllari
Ikkilik printsipi
To’plamlar nazariyasining asosiy tushunchalari
Mukammal konyunktiv normal shakl
Mulohazalar algebrasining qoʼllanishi
Mulohazalar hisobini qurish
Mulohazalar algebrasining funksiyalari
Diz’yunktiv normal shaklga keltirish algoritmi
To’plamlar nazariyasining asosiy tushunchalari
Bul algebrasi
Aynan chin va aynan yolg’on formulalar
Аsosiy teng kuchli formulalar
Bajariluvchi formulalar
Mukammal Dizyunktiv normal shakl
Sheffer amali va uning chinlik jadvali
Kon’yunktiv normal shaklga keltirish algoritmi.
Mukammal konyunktiv va dizyunktiv normal shallar
Umumqiymatli va bajariluvchi formulalar. Mulohazalar algebrasining funktsiyalari
Mukammal konyunktiv normal shakl
To’plamlar nazariyasining asosiy tushunchalari
Pirs amali va uning chinlik jadvali
Formulalarning normal shakllari
Аsosiy teng kuchli formulalar
To’plamlar nazariyasining asosiy tushunchalari
Аsosiy teng kuchli formulalar
Munosabatlar. Binar munosabatlar
Mukammal konyunktiv va dizyunktiv normal shallar
To’plamlar nazariyasining asosiy tushunchalari
Umumqiymatli va bajariluvchi formulalar. Mulohazalar algebrasining funktsiyalari
Аsosiy teng kuchli formulalar
Umumqiymatli va bajariluvchi formulalar. Mulohazalar algebrasining funktsiyalari
Аsosiy teng kuchli formulalar
Diz’yunktiv normal shaklga keltirish algoritmi
To’plamlar nazariyasining asosiy tushunchalari
Mukammal konyunktiv va dizyunktiv normal shallar
Quyidagi qiymatlar satrida F funksiya 0 qiymatni qabul qilsa , MKNSh dan foydalanib , F ni toping F(0,1,1)=F(0,0,0)=F(0,1,0)=0
Teng kuchlilikni isbotlang:
Ushbu formulani MKN shaklini toping.
(0,1,0,0) qiymatlarni qabul qiladigan o’zgaruvchilar yordamida shunday elementar kon’yunksiya tuzingki , natijada formula 1 ga teng bo’lsin
Teng kuchlilikni isbotlang:
Ushbu formulani kon’yunktiv normal shaklga keltiring.
Quyidagi qiymatlar satrida F funksiya 0 qiymatni qabul qilsa, MKNSh dan foydalanib, F ni toping F(0,1,1)=F(1,1,0)=F(0,1,0)=0
Ushbu formulani kon’yunktiv normal shaklga keltiring.
Ushbu formulani MDN shaklini toping.
1 argumentli, 0 ni saqlovchi shartlarni qanoatlantiruvchi barcha Bul funksiyalarini sanab o’ting:
Quyidagi formulalarning chinlik jadvallari tuzilsin
Ushbu formulani MDN shaklini toping.
Quyidagi qiymatlar satrida F funksiya 0 qiymatni qabul qilsa, MKNSh dan foydalanib, F ni toping F(0,1,1)=F(0,0,0)=F(1,1,0)= F(1,1,1)=0
Ushbu formulani kon’yunktiv normal shaklga keltiring.
Teng kuchlilikni isbotlang:
Quyidagi formulalarning chinlik jadvallari tuzilsin
Ushbu formulani diz’yunktiv normal shaklga keltiring.
Ushbu formulani MDN shaklini toping.
Quyidagi formulalarning chinlik jadvallari tuzilsin
Ushbu formulani kon’yunktiv normal shaklga keltiring.
Ushbu formulani MDN shaklini toping.
(0,1,0,0) qiymatlarni qabul qiladigan o’zgaruvchilar yordamida shunday elementar kon’yunksiya tuzingki, natijada formula 1 ga teng bo’lsin
Ushbu formulani diz’yunktiv normal shaklga keltiring.
Quyidagi formulalarning chinlik jadvallari tuzilsin
Ushbu formulani diz’yunktiv normal shaklga keltiring.
Ushbu formulani MDN shaklini toping.
Ushbu formulani MDN shaklini toping.
Quyidagi formulalarning chinlik jadvallari tuzilsin
Ushbu formulani diz’yunktiv normal shaklga keltiring.
Ushbu formulani MKN shaklini toping.
Ushbu formulani diz’yunktiv normal shaklga keltiring.
Ushbu formulani MKN shaklini toping.
Quyidagi qiymatlar satrida F funksiya 0 qiymatni qabul qilsa, MKNSh dan foydalanib, F ni toping F(0,1,1)=F(0,0,0)=F(1,1,0)= F(1,1,1)=0
Teng kuchlilikni isbotlang:
Ushbu formulani diz’yunktiv normal shaklga keltiring.
Ushbu formulani MDN shaklini toping.
Ushbu formulani diz’yunktiv normal shaklga keltiring.
Quyidagi formulalarning chinlik jadvallari tuzilsin
Ushbu formulani MKN shaklini toping.
Ushbu formulani kon’yunktiv normal shaklga keltiring.
Ushbu formulani diz’yunktiv normal shaklga keltiring.
Ushbu formulani MKN shaklini toping.
(0,1,1,0) qiymatlarni qabul qiladigan o’zgaruvchilar yordamida shunday elementar kon’yunksiya tuzingki, natijada formula 1 ga teng bo’lsin
Ushbu formulani kon’yunktiv normal shaklga keltiring.
Ushbu formulani MDN shaklini toping.
Teng kuchlilikni isbotlang:
Ushbu formulani diz’yunktiv normal shaklga keltiring.
Ushbu formulani MDN shaklini toping.
Quyidagi formulalarning chinlik jadvallari tuzilsin
Ushbu formulani diz’yunktiv normal shaklga keltiring.
Ushbu formulani MKN shaklini toping.
Ushbu formulani kon’yunktiv normal shaklga keltiring.
Ushbu formulani MDN shaklini toping.
Quyidagi formulalarning chinlik jadvallari tuzilsin
Teng kuchlilikni isbotlang:
Ushbu formulani diz’yunktiv normal shaklga keltiring.
Ushbu formulani MKN shaklini toping.
Quyidagi formulalarning chinlik jadvallari tuzilsin
Ushbu formulani diz’yunktiv normal shaklga keltiring.
Ushbu formulani MDN shaklini toping.
Teng kuchlilikni isbotlang:
Ushbu formulani diz’yunktiv normal shaklga keltiring.
Ushbu formulani MDN shaklini toping.
(1,1,0,0) qiymatlarni qabul qiladigan o’zgaruvchilar yordamida shunday elementar kon’yunksiya tuzingki, natijada formula 1 ga teng bo’lsin
Ushbu formulani kon’yunktiv normal shaklga keltiring.
Ushbu formulani MDN shaklini toping.
Teng kuchlilikni isbotlang:
Ushbu formulani MKN shaklini toping.
Quyidagi formulalarning chinlik jadvallari tuzilsin
Ushbu formulani diz’yunktiv normal shaklga keltiring.
Ushbu formulani MKN shaklini toping.
Quyidagi formulalarning chinlik jadvallari tuzilsin
Quyidagi qiymatlar satrida F funksiya 0 qiymatni qabul qilsa, MKNSh dan foydalanib, F ni toping F(0,1,1)=F(0,0,0)=F(1,1,0)= F(1,1,1)=0
Ushbu formulani diz’yunktiv normal shaklga keltiring.
Ushbu formulani MDN shaklini toping.
Quyidagi formulalarning chinlik jadvallari tuzilsin
Ushbu formulani diz’yunktiv normal shaklga keltiring.
Ushbu formulani MKN shaklini toping.
Quyidagi formulalarning chinlik jadvallari tuzilsin
Ushbu formulani diz’yunktiv normal shaklga keltiring.
Ushbu formulani MDN shaklini toping.
Quyidagi formulalarning chinlik jadvallari tuzilsin
Ushbu formulani diz’yunktiv normal shaklga keltiring.
Ushbu formulani MDN shaklini toping.
Ushbu formulani MDN shaklini toping.
Quyidagi formulalarning chinlik jadvallari tuzilsin
Ushbu formulani kon’yunktiv normal shaklga keltiring.
Quyidagi formulalarning chinlik jadvallari tuzilsin
Ushbu formulani kon’yunktiv normal shaklga keltiring.
Ushbu formulani MKN shaklini toping.
(1,0,0,1) qiymatlarni qabul qiladigan o’zgaruvchilar yordamida shunday elementar kon’yunksiya tuzingki, natijada formula 1 ga teng bo’lsin
Ushbu formulani kon’yunktiv normal shaklga keltiring.
Ushbu formulani MKN shaklini toping.
Ushbu formulani MDN shaklini toping.
Quyidagi formulalarning chinlik jadvallari tuzilsin
Ushbu formulani kon’yunktiv normal shaklga keltiring.
Quyidagi formulalarning chinlik jadvallari tuzilsin
Ushbu formulani diz’yunktiv normal shaklga keltiring.
Ushbu formulani MDN shaklini toping.
Quyidagi formulalarning chinlik jadvallari tuzilsin
Ushbu formulani diz’yunktiv normal shaklga keltiring.
Ushbu formulani MDN shaklini toping. Quyidagi formulalarning chinlik jadvallari tuzilsin
Ushbu formulani diz’yunktiv normal shaklga keltiring.
Ushbu formulani MKN shaklini toping.
Quyidagi formulalarning chinlik jadvallari tuzilsin
Ushbu formulani diz’yunktiv normal shaklga keltiring.
Ushbu formulani MDN shaklini toping.
Ushbu formulani diz’yunktiv normal shaklga keltiring.
Ushbu formulani MKN shaklini toping.
Quyidagi qiymatlar satrida F funksiya 0 qiymatni qabul qilsa, MKNSh dan foydalanib, F ni toping F(0,1,1)=F(0,0,0)=F(1,1,0)= F(1,1,1)=0
Teng kuchlilikni isbotlang:
Ushbu formulani MKN shaklini toping.
Quyidagi formulalarning chinlik jadvallari tuzilsin
Quyidagi formulalarning chinlik jadvallari tuzilsin
Ushbu formulani kon’yunktiv normal shaklga keltiring.
Ushbu formulani MDN shaklini toping.
Teng kuchlilikni isbotlang:
Ushbu formulani diz’yunktiv normal shaklga keltiring.
Ushbu formulani MDN shaklini toping.
Quyidagi formulalarning chinlik jadvallari tuzilsin
Ushbu formulani diz’yunktiv normal shaklga keltiring.
Ushbu formulani MDN shaklini toping.
Teng kuchlilikni isbotlang:
Ushbu formulani diz’yunktiv normal shaklga keltiring.
Ushbu formulani MKN shaklini toping.
Ushbu formulani kon’yunktiv normal shaklga keltiring.
Ushbu formulani MDN shaklini toping.
Quyidagi formulalarning chinlik jadvallari tuzilsin
Ushbu formulani diz’yunktiv normal shaklga keltiring.
Ushbu formulani MDN shaklini toping.
Quyidagi formulalarning chinlik jadvallari tuzilsin
Teng kuchlilikni isbotlang:
Ushbu formulani diz’yunktiv normal shaklga keltiring.
Ushbu formulani MKN shaklini toping.
Quyidagi qiymatlar satrida F funksiya 0 qiymatni qabul qilsa, MKNSh dan foydalanib, F ni toping F(0,1,1)=F(0,0,0)=F(1,1,0)= F(1,1,1)=0
Ushbu formulani kon’yunktiv normal shaklga keltiring.
Ushbu formulani MDN shaklini toping.
Ushbu formulani kon’yunktiv normal shaklga keltiring.
Ushbu formulani diz’yunktiv normal shaklga keltiring.
Ushbu formulani MKN shaklini toping.
Ushbu formulani diz’yunktiv normal shaklga keltiring.
Dostları ilə paylaş: