8-amaliy mashg’ulot. Bul algebrasi. Ikkilik manti
8- Amaliy mashgulot
10-AMALIY MASHG’ULOT. Bul funksiyalari uchun diz’yunktiv va kon’yunktiv normal shakllar (DNSh, KNSh). Mukammal diz’yunktiv va mukammal kon’yunktiv normal shakllar (MDNSh, MKNSh) Reja: Bul funksiyalari uchun normal shakllar(DNSh, KNSh, MDNSh, MKNSh). Mustaqil bajarish uchun masala va topshiriqlar Formulalarning normal shakllariTeng kuchli almashtirishlar bajarib, mulohazalar algebrasining formulalarini har xil ko‘rinishlarda yozish mumkin. Masalan, VS formulani yoki ko‘rinishlarda yoza olamiz. Mantiq algebrasining kontakt va rele-kontaktli sxemalar, diskret texnikadagi tatbiqlarida va matematik mantiqning boshqa masalalarida formulalarning normal shakllari katta ahamiyatga ega. Quyidagi belgilashni kiritamiz: = ch ekanligi aniq. Ta’rif. (2.1) ko‘rinishdagi formulaga elementar kon’yunksiya deb aytamiz. Bu yerda ixtiyoriy qiymatlar satri va o‘zgaruvchilar orasida bir xillari bo‘lishi mumkin. Ta’rif. (2.2) ko‘rinishdagi formulaga elementar diz’yunksiya deb aytamiz. Bu yerda ham ixtiyoriy qiymatlar satri va o‘zgaruvchilar orasida bir xillari bo‘lishi mumkin. Ta’rif. Elementar diz’yunksiyalarning kon’yunksiyasiga formulaning kon’yunktiv normal shakli (KNSh) va elementar kon’yunksiyalarning diz’yunksiyasiga formulaning diz’yunktiv normal shakli (DNSh) deb aytiladi. KNShga formula va DNShga formula misol bo‘la oladi. Teorema. Elementar mulohazalarning har bir formulasiga tengkuchli kon’yunktiv normal shakldagi formula mavjud. Bu teoremani isbotlashda ushbu tengkuchliliklardan foydalanamiz: 1. ; 2. ; 3. ; 4. ; 5. ; 6. . (2.3) Teorema. formula doimo chin bo‘lishi uchun uning KNSh dagi har bir elementar diz’yunktiv hadida kamida bitta elementar mulohaza bilan birga bu mulohazaning inkori ham mavjud bo‘lishi zarur va yetarli. Misol. 1. . - aynan chindir. 2. - aynan chin formuladir. Download 0,84 Mb. Do'stlaringiz bilan baham: Ma'lumotlar bazasi mualliflik huquqi bilan himoyalangan ©hozir.org 2024 ma'muriyatiga murojaat qiling |
kiriting | ro'yxatdan o'tish Bosh sahifa юртда тантана Боғда битган Бугун юртда Эшитганлар жилманглар Эшитмадим деманглар битган бодомлар Yangiariq tumani qitish marakazi Raqamli texnologiyalar ilishida muhokamadan tasdiqqa tavsiya tavsiya etilgan iqtisodiyot kafedrasi steiermarkischen landesregierung asarlaringizni yuboring o'zingizning asarlaringizni Iltimos faqat faqat o'zingizning steierm rkischen landesregierung fachabteilung rkischen landesregierung hamshira loyihasi loyihasi mavsum faolyatining oqibatlari asosiy adabiyotlar fakulteti ahborot ahborot havfsizligi havfsizligi kafedrasi fanidan bo’yicha fakulteti iqtisodiyot boshqaruv fakulteti chiqarishda boshqaruv ishlab chiqarishda iqtisodiyot fakultet multiservis tarmoqlari fanidan asosiy Uzbek fanidan mavzulari potok asosidagi multiservis 'aliyyil a'ziym billahil 'aliyyil illaa billahil quvvata illaa falah' deganida Kompyuter savodxonligi bo’yicha mustaqil 'alal falah' Hayya 'alal 'alas soloh Hayya 'alas mavsum boyicha yuklab olish |