Операторы AND, OR, NOT, XOR

Операторы AND, OR, NOT, XOR создают свойства, реализующие логические операции.

Синтаксис

expression1 AND expression2
expression1 OR expression2
expression1 XOR expression2
NOT expression1

Описание

AND, OR и XOR - инфиксные операторы, принимающие два операнда; NOT - префиксный оператор, принимающий один операнд. Порядок вычисления относительно других операторов определяется приоритетом операторов.

Параметры

• expression1, expression2

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

Примеры

likes = DATA BOOLEAN (Person, Person);
likes(Person a, Person b, Person c) = likes(a, b) AND likes(a, c);
outOfInterval1(value, left, right) = value < left OR value > right;
outOfInterval2(value, left, right) = NOT (value >= left AND value <= right);