|
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.
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 konstantalar tengsizlikning mantiqiy qiymati x< 0, где х - переменная, является переменной величиной. В зависимости от значения х оно может быть либо истиной, либо ложью. В связи с этим возникает понятие логической переменной.Основы формального аппарата математической логики создал в середине XIX в. английский математик Джордж Буль. В его честь исчисление высказываний называют булевой алгеброй, а логические величины - булевскими.Одиночные высказывания могут быть объединены в составные логические формулы с помощью логических операций.Имеются три основные логические операции: отрицание, конъюнкция (логическое умножение) и дизъюнкция (логическое сложение).Операция отрицания обозначается в математической логике значком ¬ и читается как частица не. Это одноместная операция.Например, ¬ (x = у) читается «не (х равно y)». В результате получится истина, если х не равно у, и ложь, если х равно у. Отрицание изменяет значение логической величины на противоположное.Операция конъюнкции обозначается значком & и читается как частица и. Это двухместная операция. Например, (х >0) & (x< 1) читается «х больше 0 и х меньше 1». Данная логическая формула примет значение истина, если х
(0,1) va aks holda noto'g'ri. Demak, agar ikkala operand ham to'g'ri bo'lsa, birikmaning natijasi to'g'ri bo'ladi. Dizyunksiya operatsiyasining belgisi v zarracha yoki sifatida o'qiladi. 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. Demak, kamida bitta operand rost bo'lsa, dis'yunksiya rost bo'ladi.Paskalda mantiqiy qiymatlar yolg'on (noto'g'ri) va true (to'g'ri) yordamchi so'zlari bilan belgilanadi, mantiqiy tip identifikatori esa mantiqiy hisoblanadi.
Do'stlaringiz bilan baham: |
