5.2.4. Логический тип (тип Boolean)
Логический тип определяется как скалярный тип, множество значений которого состоит всего из двух значений:
False (ложь) и True (истина).
Значения логического типа упорядочены: значение False имеет порядковый номер 0, значение True имеет порядковый номер 1.
Значения типа Boolean занимают один байт памяти.
Логические переменные объявляются в разделе описания переменных. Например,
Var
X, Y, Z: Boolean;
Логическими константами является предопределенные в языке Паскаль идентификаторы
True и False.
Например, можно записать
X := True;
Y := False;
В этом случае переменным X, Y логического типа присваиваются значения констант True и False.
Над значениями типа Boolean определены операции, которые представляет таблица 5.11.
121
Таблица 5.11 – Операции, определенные над логическими данными
Груп- |
Опера- |
|
Тип |
|
па |
Описание |
|||
опера- |
ция |
результата |
||
|
||||
ций |
|
|
|
|
|
Not |
Одноместная операция (НЕ), результат равен |
Boolean |
|
|
|
True, если значение операнда False, в |
|
|
операции |
|
противном случае – False. |
|
|
And |
Двухместная операция (И), результат равен |
Boolean |
||
|
True, если значение обоих операндов True, в |
|
||
|
противном случае – False |
|
||
Логические |
Or |
Двухместная операция (ИЛИ) результат равен |
Boolean |
|
|
True, если хотя бы один из операндов равен |
|
||
|
True, в противном случае – False |
|
||
Xor |
Двухместная операция (исключающее ИЛИ) |
Boolean |
||
|
результат равен True, если только один |
|
||
|
|
|
||
|
|
операнд имеет значение True, в противном |
|
|
|
|
случае – False |
|
|
Операции сравнения |
= |
Равно |
Boolean |
|
<> |
Не равно |
|
||
> |
Больше |
|
||
>= |
Больше или равно |
|
||
< |
Меньше |
|
||
|
|
|||
|
<= |
Меньше или равно |
|
Правила выполнения логических операций над логическими значениями поясняет таблица 5.12.
Таблица 5.12 – Правила выполнения логических операций
Операция |
A And B |
A Or B |
A Xor B |
Not B |
|||||
|
|
|
|
|
|
|
|
|
|
B |
0 |
1 |
0 |
1 |
0 |
1 |
0 |
1 |
|
A |
|||||||||
|
|
|
|
|
|
|
|
||
0 |
0 |
0 |
0 |
1 |
0 |
1 |
1 |
0 |
|
1 |
0 |
1 |
1 |
1 |
1 |
0 |
– |
– |
|
Таблица 5.12 построена по правилам алгебры логики (булевой алгебры), где 0 соответствует значению False (ложь), 1 – значению True (истина).
Например, если A = False; B = True, то
A And B = False
122