Mantiqiy qiymatlar, amallar, ifodalar

Paskal tilidagi mantiqiy ifodalar
Paskalda mantiqiy ma'lumotlar turi borligi allaqachon aytilgan.
Mantiqiy konstantalar: rost(to'g'ri), yolg'on(noto'g'ri).
Mantiqiy o'zgaruvchilar: turi bilan tavsiflanadi Mantiqiy.
Aloqa operatsiyalari: ikki operandni solishtirish va ular orasidagi mos munosabat to'g'ri yoki noto'g'ri ekanligini aniqlash. Relyatsion operatsiya belgilari: = (teng),<>(teng emas), > (katta),< (меньше), >= (katta yoki teng),<= (меньше или равно).
Mantiqiy operatsiyalar: emas- rad etish, va- mantiqiy ko'paytirish (bog'lanish), yoki- mantiqiy qo'shish (ajralish), xor- eksklyuziv OR. Ushbu operatsiyalar uchun haqiqat jadvali (T - rost; F- yolg'on):

mantiqiy ifoda mantiqiy konstantalar va o'zgaruvchilar, munosabatlar, mantiqiy amallardan iborat bo'lishi mumkin. Mantiqiy ifoda rost yoki noto'g'ri deb baholanadi.
Masalan, Paskalda ¬ X & Y v X & Z mantiqiy formulasi quyidagi mantiqiy ifoda sifatida yoziladi:
emas X va Y yoki X va Z,
qayerda X, Y, Z- turdagi o'zgaruvchilar Mantiqiy.
Mantiqiy amallar quyidagi ustunlik (ustuvorlik) bo'yicha kamayish tartibida joylashtirilgan: 1) emas, 2) va, 3) yoki, xor. 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 <= Х) va(X<= 50)
Mantiqiy funktsiya toq(x) qiymatini oladi rost agar butun son argumentining qiymati X g'alati, aks holda yolg'on.
Murakkab mantiqiy ifodani (predikatni) to'g'ri yozish uchun arifmetik, mantiqiy va relyatsion operatsiyalarning nisbiy ustuvorliklarini hisobga olish kerak, chunki ularning barchasi mantiqiy ifodada mavjud bo'lishi mumkin. Ustuvorlikning kamayishi tartibida operatsiyalar quyidagi tartibda keltirilgan.
1. Arifmetik amallar: - (minus unary) *, / +, - 2. Mantiqiy amallar: emas va yoki, xor 3. Aloqa operatsiyalari: =,<>, >, <, >=, <=
Yana bir bor e'tibor bering, 3-misoldagi predikatga mos keladigan mantiqiy ifodada:
(Y > -X) va(Y< 1) va(Y>X*X),
relyatsion amallar mantiqiy amallardan yoshroq bo‘lganligi uchun qavslar ichiga olinadi va avval bajarilishi kerak.