Mulohaza. Mulohazalar ustida mantiqiy amallar. Formulalar. TENG KUCHLI Formulalar. Aynan chin, aynan yolg’on va bajariluvchi formulalar

ASOSIY TENGKUCHLILIKLAR. TENG KUCHLI FORMULALARGA DOIR TEOREMALAR. FORMULALARNING NORMAL SHAKLLARI. DIZ’YUNKTIV VA KON’YUNKTIV NORMAL SHAKLLAR.

Reja:

1. 
   Formulalar. Teng kuchli formulalar.
   
2. 
   Formulalarning normal shakllari.
   
3. 
   Diz’yunktiv va kon’yunktiv normal shakllar.
   

Foydalanilgan adabiyotlar:

1.Тўраев Ҳ.Т., Математик мантиқ ва дискрет математика, Тошкент: Ўқитувчи

нашриёти, 2003, 378 б.

2.Лихтарников Л.М., Сукачева Т.Г., Математическая логика. Курс лекций.

Задачник-практикум и решения, Санк-Петербург: ЛАНЬ, 1999, 286 с.

3. Гаврилов Г.П., Сапоженко А.А. Сборник задач по дискретной математике.

Учебное пособие. Москва: Наука.

4. Искандаров Р.И., Математик логика элементлари, Самарқанд: СамДУ, 1970, 324б.