Условный оператор. Логические выражения состоят из переменных и констант логического типа, логических операций и операций отношений

Логические выражения состоят из переменных и констант логического типа, логических операций и операций отношений. Логическое выражение может принимать значения true (истина) или false (ложь).

Отношения могут состоять из двух арифметических выражений, соединенных знаком операции отношения.

Операции отношения:

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

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

not	отрицание	(не)
and	логическое умножение	(и)
or	логическое сложение	(или)

Эти операции применимы только к логическим операндам и дают результат того же типа.

Логическое умножение (A and В) дает значение true только в том случае, если и А, и В имеют значение true. Если хотя бы один операнд (или оба) имеет значение false, то результат также имеет значение false.

Логическое сложение (A or В) дает значение false в том и только в том случае, если А и В одновременно имеют значение false. Если хотя бы один операнд (или оба) имеет значение true, то результат также име­ет значение true.

Операция отрицания (not A) дает значение false, если А имеет значение true и, наоборот, дает значение true, если false.

В логическом выражении принят следующий приоритет операций:

1. not (выполняется в первую очередь).

2. *, /, div, mod, and.

3. +, ~, or.

4. <, <=, =, <>, >, >=.

Операции, указанные в строке с одним порядковым номером, имеют одинаковый приоритет и в логическом выражении выполняются слева направо.

В логическом выражении допускается использование только круглых скобок. При наличии скобок сначала выполняются действия в них (в первую очередь, в самых внутренних), а затем вне скобок. В круглые скобки обязательно заключаются отношения, стоящие слева и справа от логических операций and и or.

Примеры:

		(x >= a) and (x <= b)
		(x < a) or (x > b)
или
not ((x >= a) and (x <= b))

Запишем выражения, зависящие от координат точки (x,y) и принимающее значение TRUE, если точка принадлежит заштрихованной области, и FALSE, если не принадлежит.

	(x >=3) and (x <=7) and (y >=-1) and (y <=2)
y -2 2 x