38-mavzu. Mantiq qonuni. Ziddiyat. Bul algebrasi. Funksiyalarning to‘liq va to‘liqmas sistemalari. Mantiq qonuni. Ziddiyat.Bajariluvchi formula.Bul algebrasi. Ikki qiymatli funksiya.Ikki qiymatli funksiya orqali mulohazalar algebrasining formulasini ifodalash. Funksiyalarning to‘liq va to‘liqmas sistemalari.
39-mavzu. Elementar dizyunksiyalar va elementar konyunksiyalar. Normal formalar. Elementar dizyunksiyalar va elementar konyunksiyalar. To‘g‘ri, to‘liq, mukammal elementar dizyunksiyalar va elementar konyunksiyalar. Normal formalar. MDNF. MKNF. Mulohazalar algebrasining formulalarini MDNF va MKNF ga aylantirishning ikki usuli.
40-mavzu. Keltirilgan formula tushunchasi. O‘zaro qo‘shma formulalar. Ikkilik qonuni. Rele-kontakt sxemalari. Keltirilgan formula tushunchasi. O‘zaro qo‘shma formulalar. Ikkilik qonuni. Berilgan formaning qo‘shmasini topish. Ikkilik prinsipi haqidagi teorema. Mulohazalar algebrasining elementar matematika va fizikaga tatbiqlari. Rele-kontakt sxemalari.
41-mavzu. Aksiomatik usul. Mulohazalar hisobi. Mulohazalar hisobining keltirib chiqariluvchi formulalari bilan mulohazalar algebrasining umumqiymatli formulalari. Aksiomatik usul. Geometriyadan, arifmetikadan aksiomatik usulga sodda misollar. Mulohazalar hisobini qurish. Mulohazalar hisobining aksiomalari. Mulohazalar hisobida keltirib chiqariluvchi formula tushunchasi. Keltirib chiqariluvchi formulalarga misollar. Mulohazalar hisobining keltirib chiqariluvchi formulalari bilan mulhazalar algebrasining umumqiymatli formulalari orasidagi bog‘lanish.
42-mavzu. Gipotezalar (farazlar). Hosilaviy keltirib chiqarish qoidalari. Kuchli va kuchsiz formulalar. Monoton o‘suvchi va monoton kamayuvchi formulalar. Teng kuchli formulalar. Gipotezalar (farazlar). Gipotezalardan keltirib chiqarish tushunchasi. Deduksiya teoremasi. Hosilaviy keltirib chiqarish qoidalari: sillogizm, shartlarningo‘rnini almashtirish, shartlarni birlashtirish v.h. Kuchli va kuchsiz formulalar. Monoton o‘suvchi va monoton kamayuvchi formulalar. Teng kuchli formulalar tushunchasi. Formulalarni teng kuchli almashtirish haqidagi teorema.
