Mantiqiy qiymatlar, amallar, ifodalar

“Mantiqiy qiymatlar, amallar, ifodalar” mavzusidagi taqdimot. Mantiq asoslari 10 mantiqiy qiymatlar operatsiya ifodalari
Dasturlash bilan bevosita bog'liq bo'lgan fan matematik mantiq deb ataladi. Matematik mantiqning asosini mantiq algebrasi yoki takliflar hisobi tashkil etadi. Taklif - bu to'g'ri yoki noto'g'ri ekanligini aniq aytish mumkin bo'lgan har qanday bayonot. Masalan, “Oy Yerning sun’iy yo‘ldoshidir” degan gap to‘g‘ri; "5 > 3" - rost; "Moskva - Xitoyning poytaxti" - yolg'on; "1 = 0" noto'g'ri. True yoki false mantiqiy qiymatlardir. Yuqoridagi gaplarning mantiqiy ma'nolari yagona aniqlangan; boshqacha aytganda, ularning qiymatlari mantiqiy konstantalardir.
Tengsizlikning mantiqiy qiymati x< 0, где х - переменная, является переменной величиной. В зависимости от значения х оно может быть либо истиной, либо ложью. В связи с этим возникает понятие логической переменной.
Matematik mantiqning rasmiy apparati asoslari 19-asr oʻrtalarida yaratilgan. Ingliz matematigi Jorj Bul. Uning sharafiga taklif hisobi mantiqiy algebra, mantiqiy miqdorlar esa mantiqiy deb ataladi.
Yagona gaplarni mantiqiy amallar yordamida murakkab mantiqiy formulalarga birlashtirish mumkin.
Mavjud uchta asosiy mantiqiy amal: inkor qilish, konyunksiya (mantiqiy ko‘paytirish) va diszyunksiya (mantiqiy qo‘shish).
inkor qilish operatsiyasi matematik mantiqda ¬ belgisi bilan belgilanadi va zarracha emas deb o'qiladi. Bu bitta operatsiya.
Masalan, ¬ (x = y) "emas (x teng y)" ni o'qiydi. Agar x y ga teng bo'lmasa, natija to'g'ri, x y ga teng bo'lsa noto'g'ri bo'ladi. Inkor qilish mantiqiy qiymatning qiymatini o'zgartiradi.
Bog'lovchi amal & bilan belgilanadi va zarracha va sifatida o'qiladi . Bu ikki tomonlama operatsiya. Masalan, (x > 0) & (x< 1) читается «х больше 0 и х меньше 1». Данная логическая формула примет значение истина, если х (0,1), и ложь - в противном случае. Следовательно, результат конъюнкции - истина, если истинны оба операнда. Ajratish operatsiyasining belgisi v zarracha sifatida o'qiladi yoki. Masalan, (x = 0) v (x = 1) "x 0 yoki x 1" deb o'qiydi. Agar x ikkilik raqam (0 yoki 1) bo'lsa, formula rost deb baholanadi. Shuning uchun, agar kamida bitta operand rost bo'lsa, dis'yunksiya rost deb baholanadi.
Paskalda mantiqiy qiymatlar noto'g'ri (noto'g'ri) va rost (to'g'ri) funktsiya so'zlari bilan belgilanadi, mantiqiy turdagi identifikator esa mantiqiydir.
Boolean tipidagi qiymatlarga (doimiy va o'zgaruvchilarga) qo'shimcha ravishda, mantiqiy qiymatlar noto'g'ri, rost relyatsion operatsiyalar natijalarini qabul qiladi.
Relyatsion amallar (18-rasm) ikkita operandni solishtiradi va ular orasidagi mos munosabat haqiqat yoki noto'g'ri ekanligini aniqlaydi.

Mantiqiy operatsiyalar mantiqiy turdagi operandlarda bajariladi. To'rtta mantiqiy amal mavjud: Not - inkor qilish; Va - mantiqiy ko'paytirish (bog'lanish); Yoki - mantiqiy qo'shish (ajralish). Ushbu uchta majburiy operatsiyadan tashqari, Turbo Paskalda yana bir operatsiya mavjud - XOR . Uning belgisi Hor xizmat so'zidir. Bu ikkilik operatsiya bo'lib, agar ikkala operandda turli mantiqiy qiymatlar bo'lsa, rost deb baholanadi.
Aloqaviy operatsiyalar eng past ustunlikka ega. Shuning uchun agar mantiqiy operatsiya operandlari munosabatlar bo'lsa, ular qavs ichiga olinishi kerak. Masalan, 1 ≤ x ≤ 50 matematik tengsizlik quyidagi mantiqiy ifodaga mos keladi:
(1<=X) And (X<=50)
Mantiqiy ifoda dasturlash tilida yozilgan mantiqiy formuladir. Mantiqiy ifoda mantiqiy operatorlar va qavslar orqali bog'langan mantiqiy operandlardan iborat. Mantiqiy ifodani baholash natijasi mantiqiy qiymatdir (noto'g'ri yoki haqiqiy). Mantiqiy operandlar mantiqiy konstantalar, o‘zgaruvchilar, funksiyalar, relyatsion amallar bo‘lishi mumkin. Bitta mantiqiy operand mantiqiy ifodaning eng oddiy shaklidir.
Mantiqiy ifodalarga misollar (bu erda d, b, c - mantiqiy o'zgaruvchilar; x, y - haqiqiy o'zgaruvchilar; k - butun o'zgaruvchi):
Agar d = rost; b = noto'g'ri; c = rost; x=3,0; y=0,5; k=5 bo‘lsa, hisoblash natijalari quyidagicha bo‘ladi:
Misolda odd(k) mantiqiy funksiyasidan foydalaniladi. Bu k butun son argumentining funksiyasi bo'lib, agar k toq bo'lsa rost, k juft bo'lsa noto'g'ri deb baholanadi.
Mantiqiy tayinlash operatori shaklda ko'rsatilgan tuzilishga ega. 19.

Siz allaqachon asosiy maktabning informatika kursida ma'lumotlar bazasi so'rovlari va shartli funktsiyalarni yozishni o'rganayotgan matematik mantiq elementlari bilan tanishdingiz. AGAR elektron jadvallarda, algoritmlash va dasturlash asoslari. Keling, dasturlashda undan foydalanishda bilimlaringizni yanada chuqurlashtirish uchun mantiqning asosiy tushunchalarini takrorlaymiz.