Логический тип (boolean) презентация

<знак отношения> <простое выражение>
<знак отношения> ::= < ⏐ <= ⏐ >= ⏐ > ⏐ = ⏐ <> ⏐ in
<простое выражение> - любое выражение Паскаля, за исключением отношений

Отрицание
Обозначение операции: not (не)
Запись операции: not a (читается: «не а», «не верно, что а»)
Семантика: операция not меняет логическое значение на противоположное. Это можно описать в виде такой таблицы:

«a и b»)
(Замечание: операнды конъюнкции называются конъюнктами.)
Семантика: конъюнкция дает истину только в одном случае - когда оба ее операнда истинны; если хотя бы один операнд ложен, то и конъюнкция ложная. (Это основное значение союза и: «и то и другое»).
Точное определение конъюнкции дает следующая таблица:

«а или b»)
(Замечание: операнды дизьюнкции называются дизьюнктами.)
Семантика: дизьюнкция истинна, если истинен хотя бы один ее операнд; дизьюнкция дает ложь только в одном случае - когда оба операнда ложны. (Это основное значение союза или: «то или другое»).
Точное определение дизьюнкции дает следующая таблица:

ЛВ и подвыражения в скобках
- затем выполняется not
- потом выполняется and
- далее выполняется or
- и в конце выполняются операции отношения
И, как обычно, операции одного старшинства выполняются слева направо.
Например, в указанном ЛВ порядок вычисления следующий:
not(x>y) or odd(k) and true or b
3 1 5 2 4 6
2) Если ЛВ - это просто отношение, то оно пишется без круглых скобок b:=x>y, хотя можно использовать и скобки b:=(x>y). Но если отношение входит в состав какого-то другого выражения, то оно обязательно заключается в круглые скобки. Например, нельзя писать
x=1 and z<0
Операция and имеет более высокий приоритет, чем операции сравнения, поэтому она выполняется в первую очередь: x=(1 and z)<0, т.е. получается, что здесь конъюнкция применяется к числам, что запрещено. Правильная запись этого выражения такова:
(x=1) and (z<0)

том, что эта запись означает (0 (0 4) Допускается выписывание нескольких not подряд: not not not a. Однако два соседних not уничтожают друг друга, поэтому редко пишут более одного not.

5) Возможно непосредственное соседство or и and с not, например: a and not b. Однако для наглядности лучше ставить скобки: a and (not b).

6) Нельзя рядом указывать and и/или or: a or and b – ошибка.