Mantiqiy dasturlash texnologiyasi

C++ tilida mantiqiy tur «Bul algebrasi” asoschisi, Angliyalik matematik Jorj Bul sharafiga bool kalit so’zi bilan ifodalangan.

“Bul algebrasi” da mantiqiy mulohazalar ustida uchta amal aniqlangan:

Inkor – A mulohazaning inkori deganda A rost bo’lganda yolg’on, yolg’on bo’lganda rost qiymat qabul qiluvchi mulohazaga aytiladi. C++ tilida inkor – ‘!’ belgisi bilan ifodalanadi. Masalan,A mulohazaning inkori «!A» ko’rinishida yoziladi;

Konyunksiya − ikkita A va B mulohazalar konyuksiyasi yoki mantiqiy ko’paytmasi «A && B» ko’rinishida yoziladi. Bu mulohaza qiymati A va B mulohazalarning har ikkalasi rost bo’lgandagina rost bo’ladi, aks holda esa yolg’on bo’ladi («&&» amali «va» deb o’qiladi). Masalan, «bugun oyning 8-kuni va bugun payshanba» mulohazasi oyning 8-kuni payshanba bo’lgan kunlar uchungina rost bo’ladi;

C++ tilining qurilmalari operatorlarni blok ko’rinishida tashkil qilishga imkon beradi. Blok – ‘{‘ va ‘}’ belgilar oralig’iga olingan operatorlar ketma-ketligi bo’lib, u kompilyator tomonidan yaxlit bir operator deb qabul qilinadi. Blok ichida o’zgaruvchilar e’lonlari ham bo’lishi mumkin va blokda e’lon qilingan o’zgaruvchilar faqat shu blok ichida (ko’rinadi) amal qiladi, blokdan tashqarida (ko’rinmaydi) amal qilmaydi. Blokdan keyin ‘;’ belgisi qo’yilmasligi mumkin, lekin blok ichidagi har bir ifoda ‘;’ belgisi bilan yakunlanishi shart.

C++ tilining qurilmalari operatorlarni blok ko’rinishida tashkil qilishga imkon beradi. Blok – ‘{‘ va ‘}’ belgilar oralig’iga olingan operatorlar ketma-ketligi bo’lib, u kompilyator tomonidan yaxlit bir operator deb qabul qilinadi. Blok ichida o’zgaruvchilar e’lonlari ham bo’lishi mumkin va blokda e’lon qilingan o’zgaruvchilar faqat shu blok ichida (ko’rinadi) amal qiladi, blokdan tashqarida (ko’rinmaydi) amal qilmaydi. Blokdan keyin ‘;’ belgisi qo’yilmasligi mumkin, lekin blok ichidagi har bir ifoda ‘;’ belgisi bilan yakunlanishi shart.