В языке PASCAL имеются две логические константы:true [тру] – истина иfalse[фолс] – ложь. Они упорядочены следующим образом:
false < true
Каждая логическая переменная в программе должна иметь имя. Имена логических переменных составляются по тем же правилам, что и имена переменных целого и вещественного типа.
Все логические переменные должны быть описаны в разделе описаний программы при помощи ключевого слова boolean ([булеан] – булевский, по имени математика Джорджа Буля) в виде
var имя1, имя2,...: boolean;
Например var b5, karra, z: boolean;
Любая логическая переменная может принимать одно из двух значений: либо true, либо false.
Логические выражения представляет собой совокупность операндов, связанных между собой логическими операциями (связками). Операндами логического выражения могут служить:
· логические константы и переменные;
· выражения отношения.
Основными логическими операциями являются:
Операция
Запись на Pascal
не (отрицание)
not
и (логическое умножение)
and
или (логическое сложение)
or
Логические операции and ([энд] – и) и or ([о] – или) выполняются над двумя операндами, а операция not (не) – над одним.
Выражения отношения является простейшим логическим выражением и состоит из двух операндов и знака операции отношения между ними.
Математическая запись
Запись на языке Pascal
>
>
<
<
=
=
¹
<>
³
>=
£
<=
Операндами выражений отношения являются константы и переменные простых типов, а также арифметические выражения.
Результатом вычисления выражения отношения является логическая константа.
Например, выражение a > 1.0 принимает значение true, если а > 1 в противном случае оно принимает значение false.
Значения операндов
Результат операции
a
b
not a
a and b
a or b
false
false
true
false
false
false
true
true
false
true
true
false
false
false
true
true
true
false
true
true
При записи логических выражений следует соблюдать следующее правило:
выражения отношения, входящие в состав логических выражений, заключаются в круглые скобки.
Например (а + b > 5.0) and (x <= y).
Результат вычисления простейших выражений приведён в последней таблице.