7.2. Порядковые типы

В группу порядковых объединены целые, символьный, логический, перечисляе­мый типы и тип-диапозон или интнрвальный. Сделано это потому, что они обладают следующими общими чертами:

• все возможные значения порядкового типа представляют собой ограниченное упорядоченное множество;

• к любому порядковому типу может быть применена стандартная функция Ord, которая в качестве результата возвращает порядковый номер конкретного значения в данном типе;

• к любому порядковому типу могут быть применены стандартные функции Pred и Succ, которые возвращают предыдущее и последующее значения соответственно;

• к любому порядковому типу могут быть применены стандартные функции Low и High, которые возвращают наименьшее и наибольшее значения величин данного типа.

Для всех ординальных типов существуют операции отношения = <> < <= > >=. При этом предполагается, что оба операнда в операции отношения имеют одинаковый тип. Отношение определяется с помощью порядковых номеров, присущих операндам.

7.2.1. Логический (булевский) тип

Внутреннее представление

Основной логический тип данных Паскаля называется boolean. Величины этого типа занимают в памяти 1 байт и могут принимать всего два значения: true (ис­тина) или false (ложь). Внутреннее представление значения false — 0 (нуль), значения true — 1.

Операции

К величинам логического типа применяются логические операции and, or, хог и not. Логические операции:

a	b	a and b	a or b	a xor b	not a
false	false	false	false	false	true
false	true	false	true	true	true
true	true	true	true	false	false
true	False	false	true	true	false

В таблице приведены все возможные сочетания значений аргументов и соответ­ствующие им значения результата. Такая таблица называется таблицей истин­ности.

Операция and называется «логическое И», или логическое умножение. Ее резуль­тат имеет значение true, только если оба операнда имеют значение true.

Результат операции or (логическое ИЛИ, логическое сложение) имеет значение true, если хотя бы один из операндов имеет значение true. Например, false or true  true, true or true true.

Операция хог — так называемое исключающее ИЛИ, или операция неравнознач­ности. Ее результат истинный, когда значения операндов не совпадают.

Логическое отрицание not является унарной операцией, то есть имеет один опе­ранд, который и инвертирует. Например, not true даст в результате false.

Кроме того, величины логического типа можно сравнивать между собой с помо­щью операций отношения, перечисленных в следующей таблице.

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

Операция	Знак операции
Больше	>
Больше или равно	>=
Меньше	<
Меньше или равно	<=
Равно	=
Не равно	<>

Результат этих операций имеет логический тип.

Например, результат провер­ки false < true — значение true (истина),

а проверки false = true — значение false (ложь).

.

Var b: boolean; - обозначение булевского типа.

Три стандартные функции применимы и к этому типу:

Ord (true) = 1, Ord (false) = 0

Pred (true) = false

Succ (false) = true