Samarqand davlat universiteti raqamli-texnologiya fakulteti

_______ oyida magistrlik dissertatsiya ishimning nazariy qismiga bag`ishlangan adabiyotlar chuqur o`rganildi.
X.T.To’rayevning “Matematik mantiq va diskret matematika” va S.V.Yablonskiyning “Введение в дискретрую математику” o’quv qo’llanmalarida mulohazalar algebrasi funksiyalarinig 0 va 1 saqlash, monotonlik, o’z-o’ziga qo’shmalik, chiziqlililik xususiyatlari, Post teoremasining tadbiqi berilgan. Bu qo`llanmada yana mulohazalar algebrasi asosiy tushunchalari, diskret matematika fanining asosiy tushunchalari ta`rifi keltirilgan.
X.T.To’rayevning “Matematik mantiq va diskret matematika” kitobining mulohazalar algebrasiga bag`ishlangan bobida mulohazalar va ular ustida mantiqiy amallar, formulalar, tengkuchli, aynan chin, aynan yolg`on va bajariluvchi formulalar, formulalarning normal shakllari, Bul algebrasi, mantiq algebrasining ikkitaraflama qonuni, Jegalkin ko`phadi, monoton funksiyalar, Post teoremasi kabi masalalar ko`rib chiqildi.
Yuqorida ko`rsatilgan adabiyotlar va o`rganilgan masalalar natijasida mulohazalar algebrasi asosiy tushunchalarining grammatik ta’rifi keltirildi. Qilingan ishlar va olingan natijalar yuzasidan maqola chiqarish rejalashtirildi.