2 To rayev Hotam To rayevich, o rinboyev Erkin «Diskret matematika va matematik mantiq» fanidan o quv uslubiy majmua «548 Amaliy matematika va informatika» ta lim yo nalishi bakalavr talabalari uchun

67 . Quyidagi formulalarning chinlik jadvallarini tuzing: a) ; b); y y z) ; d) ) ; e) y ; f) ; ) g) z) y u )) ; h) y z) z ; i)... )), n, 4, 5, 6 ; n j)... n y y... yn, n,,.. Quyidagi teng kuchliliklarni isbotlang: a) y y ; b) y y y y ; d) y y ; e) y z) y z ; f) y y ; g) y y ; h) ; i) ) y ) y ; j) y z) z) ; k) y z) y z) y z) y z).. Quyidagi formulalarni soddalashtiring: a) ) ; b) ; d) y ; e) ; f) y y z) ; g) y z) y z) y z) z). 4. Quyidagilarning qaysilari aynan chin, qaysilari aynan yolg on formula bo lishini aniqlang: a) y y ; b) p p p ) ; d) y ) ; e) p q) q) q p) ; f) p p ) ; g) p q) q r)) p r) ; p h) ; i) ; j) y y ; k) y z)) y z) ; l) y z)) z)). 5. Quyidagi formulalarning har biri bajariluvchi formula bo lishini ko rsating: a) y ) z ) ; b) a b c a b) ; c) y z ; d) a b) c c) a b ) c c). 6. Quyidagi formulalarni tavtologiyalar, doimo yolg on va bajariluvchi formulalar guruhlariga ajrating: a) y y ; b) ab a a b ; c) y ; d) a b a b ) e) y ; f) a c) b c) a b) g) y z h) y z y z y z. 7. Quyidagilarni aynan chin va aynan yolg on formulalar guruhlariga ajrating: a) z) y z) y z) ) ; b) p p ) p p) p )) ; p p p p ) p p ) p p d) )) ;

68 f) p p ) p p) p )) ; p g) y ; h) ; i) y ) ; j) y ) ; k)... )... y n n ; l)... y ))...). n n y 8. Agar elementar mulohazaning qiymati ch bo lsa, u holda y z va y z) implikatsiyalarning qiymatlarini aniqlang. 9. Agar y implikatsiyaning qiymati ch bo lsa, u holda, y y va z implikatsiyalarning qiymatlarini aniqlang.. Quyidagilarning qaysilari aynan chin, qaysilari aynan yolg on formula bo lishini aniqlang: a) y y ; b) p p p ) ; d) y ) ; e) p q) q) q p) ; f) p p ) ; g) p q) q r)) p r) ; p h) ; i) ; j) y y ; k) y z)) y z) ; l) y z)) z)).. Quyidagi formulalarning har biri bajariluvchi formula bo lishini ko rsating: a) y ) z ) ; b) a b c a b) ; c) y z ; d) a b) c c) a b ) c c).. Quyidagi formulalarni tavtologiyalar, doimo yolg on va bajariluvchi formulalar guruhlariga ajrating: a) y y ; b) ab a a b ; c) y ; d) a b a b ) e) y ; f) a c) b c) a b) g) y z h) y z y z y z.. Quyidagilarni aynan chin va aynan yolg on formulalar guruhlariga ajrating: a) z) y z) y z) ) ; b) p p ) p p) p )) ; p p p p ) p p ) p p d) )) ; f) p p ) p p) p )) ; p g) y ; h) ; i) y ) ; j) y ) ; k)... )... y n n ; l)... y ))...). n n y 4. Agar elementar mulohazaning qiymati ch bo lsa, u holda y z va y z) implikatsiyalarning qiymatlarini aniqlang.

69 5. Agar y implikatsiyaning qiymati ch bo lsa, u holda, y y va z implikatsiyalarning qiymatlarini aniqlang. Mustaqil ishlash uchun savollar. Formula tushunchasiga intiutiv ravishda qanday ta rif beriladi?. Formula tushunchasiga matematik induksiya usuliga tayangan holda qat iy ta rif qanday beriladi?. Elementar formula deganda nimani tushunasiz? 4. Qavslarsiz ketma-ket yozilgan mantiqiy amallarni bajarish imtiyozlarini bilasizmi? 5. Qavslar haqidagi kelishuvga ko ra qanday qoidalarga amal qilinadi? 6. Teng kuchli formulalar deganda nimani tushunasiz? 7. Qanday holda formulalar teng kuchlimas bo lishadi? 8. Odatda berilgan formulalarning teng kuchli yoki teng kuchlimas bo lishini aniqlashda qaysi usuldan foydalaniladi? 9. Mantiqiy ifoda nima?ekvivalensiya bilan teng kuchlilik orasida qanday o shashlik va farqlarni bilasiz?. Tavtologiya nima?. Berilgan formula tavtologiya bo lishi yoki bo lmasligi, odatda, qanday aniqlanadi?. Qanday muammo mantiq algebrasida yechilish muammosi deb yuritiladi?. Yechilish muammosini hal qilish usullari nima deb ataladi? 4. Yechish protsedurasi sifatida chinlik jadvalini qo llashga asoslangan usulning asosiy kamchiligi nimada? 5. Aynan yolg on formula deganda nimani tushunasiz? 6. Tavtologiya bilan aynan yolg on formula orasida qanday bog lanish bor? 7. Qanday holda biror formula boshqa formulaning mantiqiy ulosasi deb ataladi? 8. Qanday formulalar mantiqiy ekvivalent formulalar deb ataladi? 9. Agar А va А В formulalarning har biri tavtologiya bo lsa, u holda В formula haqida mima deyish mumkin?. Agar А formula tarkibiga bir yoki ko p marta kirgan А formula o rniga unga teng kuchli В formulani qo yish natijasida В formula hosil qilinsa, u holda А В) А В ) formula haqida mima deyish mumkin?. Bajariluvchi formula deganda nimani tushunasiz?. Agar y implikatsiya ch qiymat, y ekvivalensiya esa yo qabul qilishi ma lum bo lsa, u holda y implikatsiyaning qiymati haqida mima deyish mumkin?. Agar y ekvivalensiya ch qiymat qabul qilishi ma lum bo lsa, u holda y va y ekvivalensiyalarning qiymatlari haqida mima deyish mumkin? 4. Tavtologiya nima? 5. Berilgan formula tavtologiya bo lishi yoki bo lmasligi, odatda, qanday aniqlanadi? 6. Qanday muammo mantiq algebrasida yechilish muammosi deb yuritiladi? 7. Yechilish muammosini hal qilish usullari nima deb ataladi? 8. Yechish protsedurasi sifatida chinlik jadvalini qo llashga asoslangan usulning asosiy kamchiligi nimada?

70 9. Aynan yolg on formula deganda nimani tushunasiz?. Tavtologiya bilan aynan yolg on formula orasida qanday bog lanish bor?. Qanday holda biror formula boshqa formulaning mantiqiy ulosasi deb ataladi?. Qanday formulalar mantiqiy ekvivalent formulalar deb ataladi?. Agar А va А В formulalarning har biri tavtologiya bo lsa, u holda В formula haqida mima deyish mumkin? 4. Agar А formula tarkibiga bir yoki ko p marta kirgan А formula o rniga unga teng kuchli В formulani qo yish natijasida В formula hosil qilinsa, u holda А В) А В ) formula haqida mima deyish mumkin? 5. Bajariluvchi formula deganda nimani tushunasiz? 6. Agar y implikatsiya ch qiymat, y ekvivalensiya esa yo qabul qilishi ma lum bo lsa, u holda y implikatsiyaning qiymati haqida mima deyish mumkin? -MAVZU FORMULALARNING NORMAL SHAKLLARI. DIZ YUNKTIV VA KON YUNKTIV NORMAL SHAKLLAR. MUKAMMAL KON YUNKTIV VA DIZ YUNKTIV NORMAL SHAKLLAR. FORMULALARNING ASOSIY XOSSALARI. TENGKUCHLIMAS FORMULALAR SONI. BUL ALGEBRASI. Mavzuning tenologik modeli O`quv soati soat Talabalar soni: 5 ta O`quv mashg`ulot shakli Aborotli ma`ruza. Formulalarning normal shakllari. Ma`ruza rejasi. Diz yunktiv va kon yunktiv normal shakllar.. Formulalarning mukammal normal shakllari. 4. Formulaning chinlik to plami. 5. Mulohazalar algebrasi funksiyalari. Bul algebrasi. O`quv mashg`ulotining Mulohazalar algebrasi formulalarining diz yunktiv va kon yunktiv normal shaklini hosil qilish jarayonini, formulaning chinlik to plamini aniqlash, maqsadi: mulohazalar algebrasi funksiyasi va uning ususiyatlarini o rganish. Bul algebrasi qoidalarini tahlil qilish. Pedagogik vazifalar: O`quv faoliyati natijalari:.mulohazalar algebrasi formulalarining diz yunktiv va kon yunktiv.mulohazalar algebrasi formulalarini diz yunktiv normal shaklini hosil qilish algoritmini misollar asosida ko rsatish; va kon yunktiv normal shaklini hosil qilish algoritmi o rganiladi;.formulaning chinlik to plamini.formulaning chinlik to plamini aniqlash usulini aniqlash usulini namoyish etish;.mulohazalar algebrasi funksiyasi va uning ususiyatlarini o rgatish. 4.Bul algebrasi qoidalarini tahlil qilib o rganiladi;.mulohazalar algebrasi funksiyasi va uning ususiyatlari bilan tanishiladi. 4.Bul algebrasi qoidalarining tahlili o rganiladi. berish. O`qitish vositalari O`UM, ma`ruza matni, kompyuter slaydlari, doska O`qitish usullari ma`ruza, Pinbord, aqliy hujum

71 O`qitish shakllari O`qitish sharoiti Monitoring va baholash Frontal, jamoaviy ish Tenik vositalar bilan ta`minlangan, guruhlarda ishlash usulini qo`llash mumkin bo`lgan auditoriya va jihozlari. og`zaki savollar, blis-so`rov Ish bosqichlari -bosqich. Mavzuga kirish min) -bosqich. Asosiy qism 5 min) -bosqich. Yakunlovchi min) Mavzuning tenologik aritasi O`qituvchi faoliyatining mazmuni.7. O`quv mashg`uloti mavzusi, savollarni va o`quv faoliyati natijalarini, mustaqil ishlash uchun adabiyotlarni aytadi..8. Baholash mezonlari - ilovada)..9. Pindbord usulida mavzu bo`yicha ma`lum bo`lgan tushunchalarni faollashtiradi. Pindbord usulida natijasiga ko`ra tinglovchilarning nimalarda adashishlari, ato qilishlari mumkinligining tashizini amalga oshiradi -ilova )... Mavzuni jonlashtirish uchun savollar beradi - ilova)... Ma`ruza matnini tarqatadi, Reja va asosiy tushunchalar bilan tanishtiradi...ma`ruza rejasining hamma savollar bo`yicha tushuncha beradi. 4 - ilova). Ma`ruzada berilgan savollar yuzasidan umumlashtiruvchi ulosa beradi. 5 - ilova)..4. Tayanch iboralarga qaytiladi Insert usuli) 6- ilova..5. Talabalar ishtirokida ular yana bir bor takrorlanadi, asosiy tushunchalarga kelinadi... Mashg`ulot bo`yicha yakunlovchi ulosalar qiladi, olingan bilimlarning qayerda ishlatish mumkinligini ma`lum qiladi... Darsda olingan bilimlar baholanadi.. Mavzu bo`yicha bilimlarni chuqurlashtirish uchun adabiyotlar ro`yatini beradi..4. Mustaqil ish topshiriqlarini va uning baholash mezonini beradi. Keyingi mazvuga tayyorlanib kelish uchun savollar beradi. Tinglovchi faoliyatining mazmuni Tinglaydilar. Tinglaydilar. Muhim tushunchalar daftarda qayd etiladi. Savollar beradilar. Tushunchalarni aytadilar Tinglaydilar. UMKga qaraydilar Muhim tushunchalar daftarda qayd etiladi. Har bir tayanch tushuncha va iboralarni muhokama qiladilar. Savollar beradilar. O`UMga qaraydilar. Vazifalarni yozib oladilar.

72 REJA - TOPSHIRIQ Reja:. Formulalarning normal shakllari.. Diz yunktiv va kon yunktiv normal shakllar.. Formulalarning mukammal normal shakllari. 4. Formulaning chinlik to plami. 5. Mulohazalar algebrasi funksiyalari. Bul algebrasi. Mashg`ulotning maqsadi: Mulohazalar algebrasi formulalarining diz yunktiv va kon yunktiv normal shaklini hosil qilish jarayonini, formulaning chinlik to plamini aniqlash, mulohazalar algebrasi funksiyasi va uning ususiyatlarini o rganish. Bul algebrasi qoidalarini tahlil qilish. Talabalarning o`quv faoliyati natijalari:.mulohazalar algebrasi formulalarini diz yunktiv va kon yunktiv normal shaklini hosil qilish algoritmi o rganfadilar;.formulaning chinlik to plamini aniqlash usulini o rganadilar;.mulohazalar algebrasi funksiyasi va uning ususiyatlari bilan tanishadilar. 4. Bul algebrasi qoidalarining tahlili o rganiladi. Mustaqil tayyorgarlik uchun topshiriq:. Topshiriq -ilova). Mashqlar. Topshiriq -ilova). Sinov savollari Nazorat shakli: kuzatuv; o`quv topshiriqlarini bajarish; savollarga javob berish. Eng yuqori ball: tezkor so`rovga to`g`ri javob) Haqiqiy ball: O`qituvchi imzosi: -MAVZU FORMULALARNING NORMAL SHAKLLARI. DIZ YUNKTIV VA KON YUNKTIV NORMAL SHAKL LAR. MUKAMMAL KON YUNKTIV VA DIZ YUNKTIV NORMAL SHAKLLAR. FORMULALARNING ASOSIY XOSSALARI. TENGKUCHLIMAS FORMULALAR SONI. BUL ALGEBRASI. Reja:. Formulalarning normal shakllari.. Diz yunktiv va kon yunktiv normal shakllar.. Formulalarning mukammal normal shakllari. 4. Formulaning chinlik to plami. 5. Mulohazalar algebrasi funksiyalari. Bul algebrasi. Tayanch iboralar: Elementar kon yunksiya va diz yunksiyalar. KNSh. DNSh. To g ri va to liq elementar kon yunksiya va diz yunksiyalar. MKNSh. MDNSh. Formulani MKNShga, MDNShga keltirish algoritmi, to liq MKNSh va MDNSh. Elementar mulohaza. Mantiqiy amallar. Chinlik to plami. Mulohazalar algebrasi. Funksiya. Funksiyalar teng kuchliligi. va saqlovchifunksiyalar. n argumentli funksiyalar soni. Bul algebrasi.

73 Foydalanilgan adabiyotlar:.тўраев Ҳ.Т., Математик мантиқ ва дискрет математика, Тошкент: Ўқитувчи нашриёти,, 78 б..лихтарников Л.М., Сукачева Т.Г., Математическая логика. Курс лекций. Задачник-практикум и решения, Санк-Петербург: ЛАНЬ, 999, 86 с.. Гаврилов Г.П., Сапоженко А.А. Сборник задач по дискретной математике. Учебное пособие. Москва: Наука. 4. Искандаров Р.И., Математик логика элементлари, Самарқанд: СамДУ, 97, 4 б. Baholash mezoni: Har bir savol javobiga - ball; Har bir qo`shimcha mustaqil fikrga - ball; Har bir javobni to`ldirishga - ball. -ilova -ilova Pinbord Pinbord inglizchadan: pin- mahkamlash, board yozuv tatasi) munozara usullari yoki o quv suhbatini amaliy usul bilan moslashdan iborat. Ta`lim beruvchi: Taklif etilgan muammoni yechishga o`z nuqtai nazarini bayon qiladi. Ommaviy to`g`ri aqliy hujumni tashkillashtiradi. Ta`lim oluvchilar quyidagi g`oyalarni: Taklif etadilar, muhokama qiladilar, baholaydilar eng ko`p maqbul samarali va boshqa g`oyalarni tanlaydilar va ularni qog`oz varag`iga asosiy so`zlar ko`rinishida so`zdan ko`p bo`lmagan) yozadilar va yozuv tatasiga biriktiradilar o`rgatuvchi tizimlar, oddiy va murakkab tizimlar, bir pog`onali va ko`p pog`onali tizimlar, hal kiiluvchi qoida). Guruh a`zolari ta`lim beruvchi tomonidan belgilangan - talaba yozuv tatasiga chiqadilar va boshqalar bilan maslahatlashib: aniq ato yoki qaytariluvchi g`oyalarni saralaydilar ATTlаr, sohа, tаshqi fаktor, аborot - tаnuvchi аvtomаtik hisoblаsh qurilmаsi, murаkkаb ATT, murаkkаb dinаmik tizimlаr) tortishuvlarni aniqlaydilar аprior аlfаviti, sinflаshtirish, bir pog`аnаli, ko`p pog`onаli tizimlаr va farqlari); g`oyalarni tizimlashtirish mumkin bo`lgan belgilar bo`yicha aniqlaydilar; shu belgilar bo`yicha hamma g`oyalarni yozuv tatasida guruhlaydilar kartochka/ varaqlar). Ta`lim beruvchi: Umumlashtiradi va ish natijalarini baholaydi. Mavzuni jonlashtirish uchun savollar: -ilova. Formulalarning normal shakllari deb nimaga aytamiz?. Diz yunktiv va kon yunktiv normal shakllarini ifodalang.. Formulalarning mukammal normal shakllarga keltirish algoritmlarini yozing.

74 4. Formulaning chinlik to plami deb nimaga aytiladi? 5. Tengkuchlimas formulalar soni qancha? 6. Mulohazalar algebrasi funksiyalarini ayting. 7. Bul algebrasi ta rifini keltiring. 4-ilova Formulalarning normal shakllari Elementar kon yunksiya va elementar diz yunksiya tushunchalari. Turli amaliy masalalarni yechishda mantiq algebrasining ahamiyati kattadir. Jumladan, kontakt va rele-kontaktli semalar bilan bog liq muammolarni hal qilishda, diskret ravishda ish ko ruvchi tenikaga oid masalalarni hamda matematik dasturlashqning turli masalalarini yechishda mantiq algebrasi ko p qo llaniladi. Mantiq algebrasidan foydalanib amaliy masalalarni hal qilishda esa mantiqiy formulalarning normal shakllari deb ataluvchi yozuvlar katta ahamiyatga egadir. Oldingi paragraflarda o rganilgan teng kuchliliklar yordamida zarur almashtirishlar bajarib mulohazalar algebrasining berilgan itiyoriy formulasini turli ko rinishlarda yozish mumkin. Masalan, a bc formulani a bc yoki a b) a c) ko rinishlarda yoza olamiz. Ushbu paragrafda quyidagi teng kuchliliklardan foydalanib formulalarning normal shakllari o rganiladi: y y, y y, y y, y y, y, ) y, y z) z), y z) z). Formulalarning normal shakllarini o rganish jarayonida ) teng kuchliliklardan tashqari asosiy teng kuchliliklar qatoriga kiruvchi y y, y y, z y z), z y z) teng kuchliliklardan, ikki karra inkorni o chirish qonunidan, yutilish qonunlarini ifodalovchi va y teng kuchliliklardan A A A, A A A, A J A, A J J, ) A J J, A J A, A A J, A A J teng kuchliliklardan ham foydalanamiz. Faraz qilaylik, ch yoki yo qiymat qabul qiluvchi qandaydir parametr bo lsin. Quyidagi belgilashni kiritamiz: Ravshanki,., agar ch bo'lsa,, agar yo bo' lsa, hamda faqat va faqat bo lgandagina ch qiymat qabul qiladi. - t a r i f. Berilgan elementar mulohazalar o zgaruvchilar) yoki ularning inkorlari kon yunksiyalaridan tashkil topgan formula shu o zgaruvchilar elementar kon yunksiyasi, bu o zgaruvchilar yoki ularning inkorlari diz yunksiyalaridan tashkil topgan formula esa shu o zgaruvchilar elementar diz yunksiyasi deb ataladi.

75 Tabiiyki, elementar kon yunksiya elementar diz yunksiya) tarkibida faqat bitta o zgaruvchi ishtirok etishi ham mumkin. Shu sababli, bitta masalan, ) o zgaruvchining o zi yoki uning inkoridan iborat yoki ko rinishdagi ifodalar elementar kon yunksiya ham elementar diz yunksiya ham bo la oladi. Umuman olganda, berilgan n ta,,..., n o zgaruvchilar elementar kon yunksiyasi ko rinishdagi, bu o zgaruvchilar elementar diz yunksiyasi esa ko rinishdagi formuladir. Bu yerda parametrni ifodalaydi hamda aniqlanadi.,..., i n... n ) n n 4) i, n ) ch yoki yo qiymat qabul qiluvchi qandaydir, n o zgaruvchilar orasida bir illari bo lishi ham mumkin. Formulaning normal shakllari. Formulaning normal shakllari quyidagi ta rif asosida - t a r i f. Berilgan formulaning kon yunktiv normal shakli deb unga teng kuchli va elementar diz yunksiyalarning kon yunksiyalaridan tashkil topgan formulaga, diz yunktiv normal shakli deb esa unga teng kuchli va elementar kon yunksiyalarning diz yunksiyalaridan tashkil topgan formulaga aytiladi. Kon yunktiv normal shakl iborasini, qisqacha, KNSh, diz yunktiv normal shakl iborasini esa, DNSh deb yozamiz. ) formula DNShning kon yunktiv hadi, 4) formula esa KNShning diz yunktiv hadi deb ham yuritiladi. - va - ta riflarga ko ra, teng kuchli almashtirishlar bajarib, mantiq algebrasining itiyoriy formulasi uchun turli KNShlar va DNShlar topilishi mumkin. - m i s o l. Distributivlik va idempotentlik qonunlariga asoslanib, y z) formulaning kon yunktiv normal shakllari, masalan, z), y z) va z) z ) formulalar, z) formula uchun esa diz yunktiv normal shakllar, masalan, yz va z yz formulalar bo lishiga ishonch hosil qilish qiyin emas. - t e o r e m a. Mantiq algebrasining itiyoriy formulasini KNShga keltirish mumkin. I s b o t i. Mantiq algebrasining itiyoriy formulasini tahlil qilib, agar berilgan formula KNShda bo lmasa, u vaqtda quyidagi ikkita hollardan biri ro y berishini ta kidlaymiz: a) berilgan formuladagi elementar mulohazalar faqat, va belgilar bilangina birlashtirilgan bo lsada, belgilar eng so nggi amallarni ifodalamaydi; b) berilgan formula tarkibidagi elementar mulohazalar, va belgilardan tashqari va/yoki belgilar bilan ham birlashtirilgan. a) holda, diz yunksiyaning kon yunksiyaga nisbatan distributivlik ossasini ifodalovchi a b c) a b) a c) teng kuchlilikdan foydalanib, )ga qarang) berilgan formulani unga teng kuchli formulaga keltiramiz. b) holda, ) teng kuchliliklardan foydalanib, berilgan formulaga teng kuchli va tarkibidagi elementar mulohazalari faqat, va belgilar bilangina birlashtirilgan formulani hosil qilamiz. Agar hosil qilingan formula KNShda bo lmasa, u vaqtda u, albatta, a) holda ifodalangan shaklda

76 bo ladi. a) hol uchun ifodalangan jarayonni chekli marta qo llagandan so ng zarur bo lsa ) teng kuchliliklardan ham foydalanib) berilgan formulaga teng kuchli KNShdagi formulani hosil qilamiz. Teoremaning yuqorida keltirilgan isboti konstruktiv ususiyatga ega, ya ni bu isbotdan mantiq algebrasining berilgan formulasi uchun KNShni hosil qilishda algoritm sifatida foydalanish mumkin. - m i s o l. Ushbu ) ) formulaning biror KNShini topish talab etilgan bo lsin. Berilgan formulani P bilan belgilab ) va ) formulalardan foydalansak, quyidagilarga ega bo lamiz: P ) ) ) ) ) ) ) ) Demak, y y [ J y] J J) J J J y. P y. Berilgan formulaning topilgan KNShida va y o zgaruvchilarning bittagina elementar diz yunksiyasi bor, ya ni berilgan formula uchun KNSh bittagina y diz yunktiv haddan iboratdir. yuritib - m i s o l. Q y y formulani KNShga keltirish maqsadida - misoldagidek ish Q y ) ) ) ) y ) y ) y ) teng kuchliliklarga ega bo lamiz. Shunday qilib, formula berilgan Q formula uchun KNSh bo lib, u ikkita y va y diz yunktiv hadlarning kon yunksiyasidan iboratdir. - t e o r e m a. Mantiq algebrasining formulasi tavtologiya bo lishi uchun uning KNShidagi barcha elementar diz yunktiv hadlarida kamida bittadan elementar mulohaza o zining inkori bilan birga qatnashishi zarur va yetarli. I s b o t i.. Mantiq algebrasining P formulasi P A A... A n 5) ko rinishda berilgan bo lib, uning KNShidagi barcha A i i, n ) elementar diz yunktiv hadlarida kamida bittadan elementar mulohaza bilan birga bu mulohazaning inkori ham qatnashsin. Faraz qilaylik, P formulaning A i i, inkori ham qatnashgan bo lsin. U holda n ) hadida qandaydir i elementar mulohaza bilan birga uning i J va J A J teng kuchliliklarga asosan barcha i,n uchun A i J o rinlidir. Demak, agar barcha i, n uchun A i hadlar tarkibida kamida bitta elementar mulohaza bilan birga bu mulohazaning inkori ham qatnashgan bo lsa, u holda P J J... J J, ya ni P tavtologiya bo ladi.. Mantiq algebrasining 5) ko rinishda ifodalangan P formulasi tavtologiya bo lsin. Teorema tasdig iga teskari tasdiq o rinli deb faraz qilamiz. Ya ni, P formula tarkibidagi A i, n ) elementar diz yunktiv hadlardan hech bo lmaganda bittasida hech qaysi bir elementar mulohaza i

77 o zining inkori bilan birga qatnashmagan bo lsin. Berilgan P formulaning KNShidagi hech qaysi bir elementar mulohaza o zining inkori bilan birga qatnashmagan biror A i' n ) elementar diz yunktiv hadini tahlil qilamiz. Bu formulada hech qaysi bir elementar mulohaza o zining inkori bilan birga qatnashmaganligi sababli A i' formula uchun tuzilgan chinlik jadvalining shunday satri topiladiki, unda barcha elementar mulohazalar yo qiymatga ega bo ladi va A i' formula tarkibidagi barcha diz yunksiya amallarini bajarish natijasi ham shu satr uchun yo bo ladi. Shuning uchun, kon yunksiya amalining ta rifiga ko ra, P formula uchun tuzilgan chinlik jadvalining o sha satridagi qiymat yo bo ladi. Bu esa teorema isbotining P formula tavtologiya bo lsin degan shartiga ziddir. - teorema berilgan formula tavtologiya yoki tavtologiya emasligini, chinlik jadvaliga murojaat qilmasdan, aniqlash imkonini beradi. Shuning uchun - teorema chinlik alomati deb yuritiladi. Chinlik alomatiga ko ra, berilgan formulaning tavtologiya bo lishi yoki bo lmasligini aniqlash uchun, uni KNShga keltirish kerak. Agar formulaning KNShdagi barcha elementar dizyunksiyalar ifodasida hech bo lmaganda bitta elementar mulohaza o zining inkori bilan birga qatnashgan bo lsa, u holda bu formula tavtologiya, aks holda esa tavtologiya emasligi aniqlanadi. 4- m i s o l. - teoremadan foydalanib y y va y y z) formulalarning tavtologiya bo lishi yoki bo lmasligini tekshiramiz. Berilgan formulalarni, mos ravishda, P va Q bilan belgilab, ) va ) formulalardan foydalansak, quyidagi KNShlarga ega bo lamiz: P y y y y, Q ) y y z) ) y y z). Bu formulalarning KNShlarida kamida bittadan elementar mulohaza o zining inkori bilan birga qatnashgani uchun berilgan formulalarning har biri tavtologiyadir. - t e o r e m a. Mantiq algebrasining itiyoriy formulasini DNShga keltirish mumkin. I s b o t i. - teoremaga ko ra mantiq algebrasining itiyoriy formulasini qandaydir A A... A m KNShga keltirish mumkin, bu yerda i i' A i, m ) elementar dizyunksiyalar. Ravshanki, elementar dizyunksiyning inkori elementar konyunksiya bo ladi. Shuning uchun berilgan formulaning inkori DNShda bo ladi, bunda A i A A... A A A... m A m i, m ) elementar konyunksiyalar. 4- t e o r e m a. Mantiq algebrasining formulasi aynan yolg on bo lishi uchun uning DNShdagi barcha elementar kon yunktiv hadlarida kamida bittadan elementar mulohaza o zining inkori bilan birga qatnashishi zarur va yetarli. I s b o t i.. Mantiq algebrasining P formulasi P A A... An ko rinishda berilgan bo lib, uning DNShidagi barcha A i i, n ) elementar kon yunktiv hadlarida kamida bittadan elementar mulohaza bilan birga bu mulohazaning inkori ham qatnashsin. Berilgan P formulaning A i i, n ) hadida qandaydir i elementar mulohaza bilan birga uning bo lsin deb faraz qilaylik. U holda uchun i inkori ham qatnashgan J va J A J teng kuchliliklarga asosan barcha i, n A i J o rinlidir. Demak, agar barcha i, n uchun A i hadlar tarkibida kamida bitta

78 elementar mulohaza bilan birga bu mulohazaning inkori ham qatnashgan bo lsa, u holda P J J... J J, ya ni P aynan yolg on bo ladi.. Mantiq algebrasining P formulasi aynan yolg on bo lsin. U holda P formulaning inkori doimo chin bo ladi. Shuning uchun, - teoremaga asosan, P formulaning KNShdagi barcha elementar diz yunksiyalarida kamida bittadan elementar mulohaza bilan birga uning inkori ham topiladi. Demak, P P fopmulaning DNShdagi barcha kon yunktiv hadlarida kamida bittadan elementar mulohaza o zining inkori bilan birga qatnashadi. 4- teorema berilgan formulaning doimo yolg on bo lishi yoki bo lmasligini, chinlik jadvaliga murojaat qilmasdan, aniqlash imkonini bergani uchun, uni yolg onlik alomati deb atash mumkin. 5- m i s o l. Berilgan P y y z) y z z) formulaning doimo yolg on formula bo lishini ko rsatamiz. Haqiqatdan ham, P formula DNShda yozilgan bo lib, uning tarkibidagi - elementar kon yunksiya ifodasida, - ifodasida y, -sida esa va z elementar mulohazalar o zlarining inkorlari bilan birgalikda qatnashganlari uchun, yolg onlik alomatiga asosan, P J. 5- t e o r e m a. Mulohazalar algebrasining itiyoriy formulasi uchun yechilish muammosi doimo ijobiy hal bo ladi. I s b o t i. Agar mulohazalar algebrasining berilgan formulasi KNShda bo lmasa, uni KNShga keltirgandan so ng, - teoremaga asosan, bu formulaning tavtologiya bo lishi yoki bo lmasligi aniqlanadi. Agar berilgan formula tavtologiya bo lmasa, uni DNShga keltirib, 4- teorema asosida, formulaning aynan yolg on bo lishi yoki bo lmasligi aniqlanadi. Agar tekshirilayotgan formula doimo chin va doimo yolg on bo lish shartlarini qanoatlantirmasa, u holda u bajariluvchi formula bo ladi. Demak, mulohazalar algebrasining berilgan formulasi tavtologiya, aynan yolg on yoki bajariluvchi formula bo lishini chekli sondagi qadamlar jarayonida aniqlash mumkin. Shuning uchun mulohazalar algebrasining itiyoriy formulasi uchun yechilish muammosi doimo ijobiy hal bo ladi. Formulalarning mukammal normal shakllari To g ri va to liq elementar kon yunksiya va diz yunksiyalar. Yuqorida teng kuchli almashtirishlar bajarib, mantiq algebrasining berilgan formulasi uchun turli KNShlar va DNShlar topish mumkinligi haqida ma lumot berilgan edi. Formulalar uchun turli KNShlar va DNShlar orasida muayyan shartlarni qanoatlantiradiganlari muhim hisoblanadi. Quyida shunday shakllar o rganiladi. - t a r i f. Agar elementar kon yunksiya diz yunksiya) ifodasida ishtirok etuvchi har bir elementar mulohaza shu ifodada faqat bir marta uchrasa, u holda bu ifoda to g ri elementar kon yunksiya diz yunksiya) deb ataladi. - m i s o l. Berilgan a b c va a d f elementar diz yunksiyalar to g ri elementar diz yunksiyalar, a bdc va a ecb elementar kon yunksiyalar esa to g ri elementar kon yunksiyalardir. Lekin, a u u c va u u e n elementar diz yunksiyalar ifodasida u elementar mulohaza bir martadan ortiq qatnashganligi sababli, ularning hech biri to g ri elementar diz yunksiya bo la olmaydi. elementar mulohaza va 6 elementar kon yunksiyalar tarkibida bir

79 martadan ortiq qatnashganligi sababli, bu ifodalarning hech qaysisi to g ri elementar kon yunksiya bo la olmaydi. - t a r i f. Agar berilgan elementar mulohazalarning har biri elementar kon yunksiya diz yunksiya) ifodasida faqat bir matra qatnashsa, bu ifoda shu elementar mulohazalarga nisbatan to liq elementar kon yunksiya diz yunksiya) deb ataladi. - m i s o l. Ushbu, va 5 elementar kon yunksiyalarning hech qaysi biri,,, 4 elementar mulohazalarga nisbatan to liq elementar kon yunksiya emas, lekin ularning birinchisi,, elementar mulohazalarga nisbatan, oirgisi esa,,, 5 elementar mulohazalarga nisbatan to liq elementar kon yunksiyadir. Berilgan a b d c elementar diz yunksiya a, b, c, d elementar mulohazalarga nisbatan to liq elementar diz yunksiyadir, 4 elementar diz yunksiya esa,, 4 elementar mulohazalarga nisbatan to liq elementar diz yunksiya bo lsada, u,,, 4 elementar mulohazalarga nisbatan to liq elementar diz yunksiya bo la olmaydi. - t a r i f. Agar formulaning KNShi DNShi) ifodasida bir il elementar diz yunksiyalar kon yunksiyalar) bo lmasa va barcha elementar diz yunksiyalar kon yunksiyalar) to g ri hamda ifodada qatnashuvchi barcha elementar mulohazalarga nisbatan to liq bo lsa, u holda bu ifoda mukammal kon yunktiv normal shakl mukammal diz yunktiv normal shakl) deb ataladi. 4- t a r i f. Berilgan,,..., n elementar mulohazalarga nisbatan formulaning MKNShidagi har bir n n had diz yunktiv konstituyent, uning MDNShidagi har bir n... n had esa kon yunktiv konstituyent deb ataladi.,..., 4- ta rifda yerda i i,, n o zgaruvchilar orasida bir illari yo q. n ) ch yoki yo qiymat qabul qiluvchi parametrni ifodalaydi va - m i s o l. Tarkibida faqat bitta asosiy mantiqiy amal qatnashgan formulalarning mukammal normal sakllari MKNShlari va MDNShlari) - jadvalda keltirilgan. Yuqoridagi tasdiqning to g riligini tekshirish o quvchiga havola qilinadi. - jadvaldan ko rinib turubdiki, formulaning MKNShi ham, MDNShi ham uning o zidan iborat; y formulaning MKNShida uchta y, y va y ) diz yunktiv konstituyentlar bor, uning MDNShi esa bitta kon yunktiv konstituyentdan shu formulaning o zidan) iborat; va hokazo. - jadval Amal MKNSh MDNSh y y y y y y y - t e o r e m a. Elementar mulohazalarning tavtologiyadan farqli itiyoriy formulasini MKNShga keltirish mumkin. Mukammal kon yunktiv normal shakl iborasini, qisqacha, MKNSh, mukammal diz yunktiv normal shakl iborasini esa, MDNSh deb yozamiz.