Логические операции
x |
y |
not
x |
x
and
y |
x
or
y |
x
xor
y |
true true false false |
true false true false |
false false true true |
true false false false |
true true true false |
false true true false |
Для построения
булевских выражений могут также
использоваться функции, вырабатывающие
булевские значения. Например, стандартная
функция odd(x)
для целого аргумента x
вырабатывает значение true
для нечетных и false
для четных x.
Значение булевского
выражения вычисляется путем выполнения
указанных в нем операций с учетом их
старшинства и расставленных круглых
скобок. Ниже приведены операции в порядке
убывания их старшинства, причем операции
в одной строке имеют одинаковое
старшинство:
not
/ mod div and
+ - or
= < > <= >= <>
Примеры записи
булевских выражений:
abs(x)
<= 2 - значение x
по модулю не превосходит 2;
sqr(x)+sqr(y)
< 1 - точка плоскости с координатами
(x,y)
лежит внутри единичного круга с центром
в начале координат;
(1<=x)
and
(x<=2) -
точка принадлежит отрезку [1;2].
Круглые скобки
необходимы, т.к. операция and
имеет больший приоритет, чем операции
отношения. Чаще всего булевские выражения
применяются при программировании
разветвлений в алгоритмах.
15