Логическое выражение в программировании — конструкция языка программирования, результатом вычисления которой является «истина» или «ложь».

В языке Паскаль определены шесть операций сравнения (отношения):

<	меньше
>	больше
<=	меньше или равно
>=	больше или равно
=	равно
<>	не равно

В Паскале предусмотрены четыре логические операции:

NOT	логическое отрицание
AND	логическое умножение
OR 	логическое сложение
XOR	логическое исключающее сложение

Как уже было сказано, результат логического выражения - это логическая величина, которая может принимать только одно из двух возможных значений: true или false.

Результат логического выражения можно присвоить переменной типа boolean и использовать ее в последующих логических выражениях или в операторе ветвления в качестве условия.

Например:

var a: integer;
    b: boolean;

begin
 readln(a);
 b := a > 0;
 if b
  then writeln('Положительное значение переменной a')
  else writeln('Отрицательное значение или ноль')
end.

На картинке основатель математической логики Джорж Буль (1815-1864)

Для формирования сложных (составных) логических выражений используют логические операторы AND, OR, XOR, NOT, которые связывают в одно логическое выражение несколько простых. Например для a = 4; c = 3; d = 5 значение выражения

(a > 0) or (c = 3) and (d < 0)

равно true, так как значение переменной a больше нуля.

Тут при вычислении следует помнить о приоритете логических операций. Поэтому в первую очередь вычисляются операции AND и только затем OR. Это так, как если бы были расставлены скобки:

(a > 0) or ((c = 3) and (d < 0))

Как простые, так и составные логические выражения могут использоваться в операторе ветвления в качестве условия.

Для вычисления значения логического выражения необходимо знать таблицу истинности для основных логических операций: AND - конъюнкция (логическое умножение) и OR - Дизъюнкция (логическое сложение).

На картинке показаны таблицы истинности для логических операций AND и OR, в отношении двух операндов A и B.