Программирование на Pascal / Delphi / Лекции по Паскалю / 05_ЛОГИЧЕСКИЙ ТИП
.doc5. ЛОГИЧЕСКИЙ ТИП
Классификация: стандартный, простой, порядковый тип.
Стандартное имя BOOLEAN.
1. Множество значений
Множество значений включает два значения {FALSE , TRUE}. Значению FALSE (ложь) соответствует порядковый номер 0, значению TRUE (истина) - 1
2. Множество операций
2.1. Логические операции
Операнды и результат логического типа BOOLEAN.
Таблица 5.1. Логические операции
Операнды |
Результаты операций |
||||
NOT A отрицание, инверсия |
A OR B или, логическое сложение, дизъюнкция |
A XOR B исключающее или, сумма по модулю 2 |
A AND B и, логическое умножение, конъюнкция |
||
А |
В |
||||
FALSE |
FALSE |
TRUE |
FALSE |
FALSE |
FALSE |
FALSE |
TRUE |
TRUE |
TRUE |
FALSE |
|
TRUE |
FALSE |
FALSE |
TRUE |
TRUE |
FALSE |
TRUE |
TRUE |
TRUE |
FALSE |
TRUE |
2.2. Операции отношения (сравнения)
Операнды и результат логического типа BOOLEAN. Сравнение производится в соответствие с порядковыми номерами значений во множестве значений.
Таблица 5.2. Операции сравнения
Операнды |
Результаты операции |
||||||
A |
B |
A<B меньше |
A<=B меньше или равно |
A>=B больше или равно |
A<>B не равно |
A>B больше |
A=B равно |
FALSE |
FALSE |
FALSE |
TRUE |
TRUE |
FALSE |
FALSE |
TRUE |
FALSE |
TRUE |
TRUE |
TRUE |
FALSE |
TRUE |
FALSE |
FALSE |
TRUE |
FALSE |
FALSE |
FALSE |
FALSE |
TRUE |
TRUE |
TRUE |
TRUE |
TRUE |
FALSE |
FALSE |
TRUE |
FALSE |
FALSE |
TRUE |
2.3 Стандартные функции
Определены только функции, справедливые для любого порядкового типа.
Таблица 5.3. Стандартные функции
Назначение функции |
Функция |
Пример |
|
Операция |
Результат |
||
Порядковый номер во множестве значений |
ORD(B) |
ORD(FALSE) |
0 |
ORD(TRUE) |
1 |
||
Предыдущее значение из множества значений |
PRED(В) |
PRED(TRUE) |
FALSE |
PRED(FALSE) |
ошибка |
||
Следующее значение из множества значений |
SUCC(В) |
SUCC(FALSE) |
TRUE |
SUCC(TRUE) |
ошибка |
2.4. Операция определения адреса
Унарная операция определения адреса (знак @). Операнд - переменная логического типа. Результатом является данное типа ^BOOLEAN, значением - указатель на участок оперативной памяти, в котором располагается переменная типа BOOLEAN.
3. Структурная организация
Данное логического типа представляет собой один неделимый, с точки зрения использования, компонент, занимающий в памяти один бит одного байта (остальные 7 битов не используются), т.е. имеет простую структуру.