Normal formaga keltirish haqidagi teorema

Variant № 1

1. 
   Darak gap. Mulohaza. Mulohazaning rostlik qiymati. Mulohazalar ustida mantiq amallari:dizhyunktsiya, konhyunktsiya, implikatsiya, ekvivalentsiya, inkor. Mantiq amallarining bajarilish tartibi.
   
2. 
   Normal formaga keltirish haqidagi teorema.
   

3. Asоsiy teng kuchliliklardan fоydalanib, berilgan fоrmulaning taftalоgiya ekanini ko’rsating.

4. Berilgan fоrmulani MDNF va MKNF ga yoying.

Variant № 2

1. 
   Mulohazalar algebrasi. Mulohazalar algebrasi alfaviti. Mulohazaviy formula.Formula rangi.
   
2. 
   Teng kuchli formulalar tushunchasi. Formulalarni teng kuchli almashtirish haqidagi teorema.
   
3. 
   Asоsiy teng kuchliliklardan fоydalanib, berilgan fоrmulaning taftalоgiya ekanini ko’rsating.
   

4. Berilgan fоrmulani MDNF va MKNF ga yoying.

Variant № 3

1. 
   Formulaosti.Formulaning rostlik jadvali.Teng kuchli formulalar.Asosiy tengkuchliliklar.
   
2. 
   Keltirib chiqariluvchi formula tushunchasi. Predikatlar hisobining keltirib chiqariluvchi formulalari.
   
3. 
   Asоsiy teng kuchliliklardan fоydalanib, berilgan fоrmulaning taftalоgiya ekanini ko’rsating.
   

4. Berilgan fоrmulani MDNF va MKNF ga yoying.

Variant № 4

1. 
   Formulalarni teng kuchli almashtirishlar. Mantiq qonuni. Ziddiyat. Bajariluvchi formula.
   
2. 
   Aksiomatik usul. Geometriyadan, arifmetikadan aksiomatik usulga sodda misollar.
   
3. 
   Asоsiy teng kuchliliklardan fоydalanib, berilgan fоrmulaning taftalоgiya ekanini ko’rsating.
   

4. Berilgan fоrmulani MDNF va MKNF ga yoying.

Variant № 5

1. 
   Mulohazalar hisobida keltirib chiqariluvchi formula tushunchasi.
   
2. 
   Elementar dizhyunktsiyalar va elementar konhyunktsiyalar. To’g’ri, to’liq, mukammal elementar dizhyunktsiyalar va elementar konhyunktsiyalar.
   
3. 
   Asоsiy teng kuchliliklardan fоydalanib, berilgan fоrmulaning taftalоgiya ekanini ko’rsating.
   

4. Berilgan fоrmulani MDNF va MKNF ga yoying.

Variant № 6

1. 
   Normal formalar. MDNF. MKNF. Mulohazalar algebrasining formulalarini MDNF va MKNF ga aylantirishning ikki usuli.
   
2. 
   Predikatlar algebrasining simvollari, tili. Predikatlar mantiqida formula tushunchasi.
   
3. 
   Asоsiy teng kuchliliklardan fоydalanib, berilgan fоrmulaning taftalоgiya ekanini ko’rsating.
   

4. Berilgan fоrmulani MDNF va MKNF ga yoying.

Variant № 7

1. 
   Keltirilgan formula tushunchasi. O’zaro qo’shma formulalar. Ikkilik qonuni. Berilgan formaning qo’shmasini topish.
   
2. 
   Predikatlar algebrasida yechilish muammosi.
   
3. 
   Asоsiy teng kuchliliklardan fоydalanib, berilgan fоrmulaning taftalоgiya ekanini ko’rsating.
   

4. Berilgan fоrmulani MDNF va MKNF ga yoying.

Variant № 8

1. 
   Keltirib chiqariluvchi formulalarga misollar. Mulohazalar hisobining keltirib chiqariluvchi formulalari bilan mulhazalar algebrasining umumqiymatli formulalari orasidagi bog’lanish.
   
2. 
   Predikatlar mantiqida bajariluvchi va umumqiymatli formula tushunchalari.
   
3. 
   Asоsiy teng kuchliliklardan fоydalanib, berilgan fоrmulaning taftalоgiya ekanini ko’rsating.
   

4. Berilgan fоrmulani MDNF va MKNF ga yoying.

Variant № 9

1. 
   Normal formaga keltirish haqidagi teorema.
   
2. 
   Mulohazalar hisobining zidsizligi, to’liqligi, erkinliligi tushunchalari.
   
3. 
   Asоsiy teng kuchliliklardan fоydalanib, berilgan fоrmulaning taftalоgiya ekanini ko’rsating.
   

4. Berilgan fоrmulani MDNF va MKNF ga yoying.

Variant № 10

1. 
   Teng kuchli formulalar tushunchasi. Formulalarni teng kuchli almashtirish haqidagi teorema.
   
2. 
   Predikatlar algebrasining simvollari, tili. Predikatlar mantiqida formula tushunchasi.
   
3. 
   Asоsiy teng kuchliliklardan fоydalanib, berilgan fоrmulaning ziddiyat ekanini ko’rsating.
   

4. 
   Asоsiy teng kuchliliklardan fоydalanib, berilgan fоrmulaning ziddiyat ekanini ko’rsating.
   

Variant № 11

1. 
   Predikatlar ustida amallar. Predikatlarni kvantorlar bilan bog’lash.
   
2. 
   Teng kuchli almashtirishlar yordamida formulani keltirilgan normal formaga aylantirish. Keltirilgan normal formaga misollar.
   
3. 
   Asоsiy teng kuchliliklardan fоydalanib, berilgan fоrmulaning taftalоgiya ekanini ko’rsating.
   

4. Berilgan fоrmulani MDNF va MKNF ga yoying.

Variant № 12

1. 
   Elementar dizhyunktsiyalar va elementar konhyunktsiyalar. To’g’ri, to’liq, mukammal elementar dizhyunktsiyalar va elementar konhyunktsiyalar.
   
2. 
   Predikatlar hisobi. Predikatlar hisobining aksiomalari.
   

3. 
   Asоsiy teng kuchliliklardan fоydalanib, berilgan fоrmulaning taftalоgiya ekanini ko’rsating.
   

4. Berilgan fоrmulani MDNF va MKNF ga yoying.

Variant № 13

1. 
   Darak gap. Mulohaza. Mulohazaning rostlik qiymati. Mulohazalar ustida mantiq amallari:dizhyunktsiya, konhyunktsiya, implikatsiya, ekvivalentsiya, inkor. Mantiq amallarining bajarilish tartibi.
   
2. 
   Normal formaga keltirish haqidagi teorema.
   

3. Asоsiy teng kuchliliklardan fоydalanib, berilgan fоrmulaning taftalоgiya ekanini ko’rsating.

4. Berilgan fоrmulani MDNF va MKNF ga yoying.

Variant № 14

1. 
   Mulohazalar algebrasi. Mulohazalar algebrasi alfaviti. Mulohazaviy formula.Formula rangi.
   
2. 
   Teng kuchli formulalar tushunchasi. Formulalarni teng kuchli almashtirish haqidagi teorema.
   
3. 
   Asоsiy teng kuchliliklardan fоydalanib, berilgan fоrmulaning taftalоgiya ekanini ko’rsating.
   

4. Berilgan fоrmulani MDNF va MKNF ga yoying.

Variant № 15

1. 
   Formulaosti.Formulaning rostlik jadvali.Teng kuchli formulalar.Asosiy tengkuchliliklar.
   
2. 
   Keltirib chiqariluvchi formula tushunchasi. Predikatlar hisobining keltirib chiqariluvchi formulalari.
   
3. 
   Asоsiy teng kuchliliklardan fоydalanib, berilgan fоrmulaning taftalоgiya ekanini ko’rsating.
   

4. Berilgan fоrmulani MDNF va MKNF ga yoying.

Variant № 16

1. 
   Formulalarni teng kuchli almashtirishlar. Mantiq qonuni. Ziddiyat. Bajariluvchi formula.
   
2. 
   Aksiomatik usul. Geometriyadan, arifmetikadan aksiomatik usulga sodda misollar.
   
3. 
   Asоsiy teng kuchliliklardan fоydalanib, berilgan fоrmulaning taftalоgiya ekanini ko’rsating.
   

4. Berilgan fоrmulani MDNF va MKNF ga yoying.

Variant № 17

1. 
   Mulohazalar hisobida keltirib chiqariluvchi formula tushunchasi.
   
2. 
   Elementar dizhyunktsiyalar va elementar konhyunktsiyalar. To’g’ri, to’liq, mukammal elementar dizhyunktsiyalar va elementar konhyunktsiyalar.
   
3. 
   Asоsiy teng kuchliliklardan fоydalanib, berilgan fоrmulaning taftalоgiya ekanini ko’rsating.
   

4. Berilgan fоrmulani MDNF va MKNF ga yoying.

Variant № 18

1. 
   Normal formalar. MDNF. MKNF. Mulohazalar algebrasining formulalarini MDNF va MKNF ga aylantirishning ikki usuli.
   
2. 
   Predikatlar algebrasining simvollari, tili. Predikatlar mantiqida formula tushunchasi.
   
3. 
   Asоsiy teng kuchliliklardan fоydalanib, berilgan fоrmulaning taftalоgiya ekanini ko’rsating.
   

4. Berilgan fоrmulani MDNF va MKNF ga yoying.

Variant № 19

1. 
   Keltirilgan formula tushunchasi. O’zaro qo’shma formulalar. Ikkilik qonuni. Berilgan formaning qo’shmasini topish.
   
2. 
   Predikatlar algebrasida yechilish muammosi.
   
3. 
   Asоsiy teng kuchliliklardan fоydalanib, berilgan fоrmulaning taftalоgiya ekanini ko’rsating.
   

4. Berilgan fоrmulani MDNF va MKNF ga yoying.

Variant № 20

1. 
   Keltirib chiqariluvchi formulalarga misollar. Mulohazalar hisobining keltirib chiqariluvchi formulalari bilan mulhazalar algebrasining umumqiymatli formulalari orasidagi bog’lanish.
   
2. 
   Predikatlar mantiqida bajariluvchi va umumqiymatli formula tushunchalari.
   
3. 
   Asоsiy teng kuchliliklardan fоydalanib, berilgan fоrmulaning taftalоgiya ekanini ko’rsating.
   

4. Berilgan fоrmulani MDNF va MKNF ga yoying.

Variant № 21

1. 
   Normal formaga keltirish haqidagi teorema.
   
2. 
   Mulohazalar hisobining zidsizligi, to’liqligi, erkinliligi tushunchalari.
   
3. 
   Asоsiy teng kuchliliklardan fоydalanib, berilgan fоrmulaning taftalоgiya ekanini ko’rsating.
   

4. Berilgan fоrmulani MDNF va MKNF ga yoying.

Variant № 22

1. 
   Teng kuchli formulalar tushunchasi. Formulalarni teng kuchli almashtirish haqidagi teorema.
   
2. 
   Predikatlar algebrasining simvollari, tili. Predikatlar mantiqida formula tushunchasi.
   
3. 
   Asоsiy teng kuchliliklardan fоydalanib, berilgan fоrmulaning ziddiyat ekanini ko’rsating.
   

4. 
   Asоsiy teng kuchliliklardan fоydalanib, berilgan fоrmulaning ziddiyat ekanini ko’rsating.
   

Variant № 23

1. 
   Predikatlar ustida amallar. Predikatlarni kvantorlar bilan bog’lash.
   
2. 
   Teng kuchli almashtirishlar yordamida formulani keltirilgan normal formaga aylantirish. Keltirilgan normal formaga misollar.
   
3. 
   Asоsiy teng kuchliliklardan fоydalanib, berilgan fоrmulaning taftalоgiya ekanini ko’rsating.
   

4. Berilgan fоrmulani MDNF va MKNF ga yoying.

Variant № 24

1. 
   Elementar dizhyunktsiyalar va elementar konhyunktsiyalar. To’g’ri, to’liq, mukammal elementar dizhyunktsiyalar va elementar konhyunktsiyalar.
   
2. 
   Predikatlar hisobi. Predikatlar hisobining aksiomalari.
   

3. 
   Asоsiy teng kuchliliklardan fоydalanib, berilgan fоrmulaning taftalоgiya ekanini ko’rsating.
   

4. Berilgan fоrmulani MDNF va MKNF ga yoying.