Zbekiston respublikasi raqamli texnologiyalari vazirligi

O’ZBEKISTON RESPUBLIKASI
RAQAMLI TEXNOLOGIYALARI VAZIRLIGI
MUHAMMAD AL-XORAZMIY NOMIDAGI TOSHKENT AXBOROT TEXNOLOGIYALARI UNIVERSITETI
QARSHI FILIALI

KOMPYUTER INJINIRINGI FAKULTETI
KOMPYUTER INJINIRING YO’NALISHI
2-BOSQICH KI-13-22 GURUH TALABASI
BOBOQULOV DURBEKNINGNING
“DISKRET TUZILMALAR ”
FANIDAN TAYYORLAGAN
3-MUSTAQIL ISHI

Bajardi: BOBOQULOV. D

Qabul qildi: TURDIYEV. U


QARSHI-2023

MAVZU: MULOHAZALAR ALGEBRASI

REJA:
1.MULOHAZALAR ALGEBRASI , ASOSIY AMALLARI, XOSSALARI.
2.TENG KUCHLI FORMULALAR.
3. MUKAMMAL DIZYUNKTIV NORMAL SHAKL VA MUKAMMAL KONYUKTIV NORMAL SHAKL

Mulohazalar ustida maxsus amallar bajariladi va buning natijasida yana mulohazalar xosil buladi. Bu amallarga logik (mantiqiy) amallar deb nom berilgan. Bu amallar quyidagilardir 1. Inkor qilish amali. x mulohazaning inkori deb atalgan mulohaza shu bilan harakterlanadiki x mulohaza 1 (chin) qiymatni qabul qilganda, mulohaza 0 (yolg’on) qiymatni qabul qiladi va aksincha x ning qiymati 0 bo’lganda ning qiymati 1 bo’ladi, inkor amali belgilanganda bu tarif quyidagi jadval ko’rinishida bo’ladi. 1 0 0 1 x mulohazani «emas» so’zi vositasi bilan inkor qilish natijasida hosil bo’lgan mulohaza xuddi x ning inkoriga mos keladi. Masalan: x – Toshkent O’zbekistonning poytaxti. – chin. - Toshkent O’zbekistonning poytaxti emas - yolg’on yoki y=sin - uzluksiz funksiya emas – yolg’on. =sin -uzluksiz funksiya – chin.