Uslubiy ko`rsatma O`zbekiston Respublikasi Oliy ta`lim va o`rta maxsus ta`ilm

 

Mantiqiy tur. 

 

Mazkur tur mantiqiy mulohazalarning to’g’riligini aniqlash uchun, turli xil 

dasturlash tillarida turlicha ifodalaniladigan ifodalarni 2 ta ko’rinishda aniqlaydi. 

Mantiqiy ma’lumotlar ustida quyidagi mantiqiy operatsiyalarni bajarish mumkin: 

konyunktsiya (va), dizyunktsiya (yoki) va inkor (yo’q), hamda qiyinroq bo’lgan 

ekvivalentlik, implikatsiya, chiqarib tashlash va boshqa operatsiyalar. Yuqorida 

keltirilgan ixtiyoriy operatsiyaning natijasi -  mantiqiy qiymatga ega bo’ladi. Mantiqiy 

qiymatni xotirada saqlash uchun bitta bit yetarli.