Логический тип классификация: стандартный, простой, порядковый тип. Стандартное имя boolean

Вид материалаДокументы
Подобный материал:

5. ЛОГИЧЕСКИЙ ТИП


Классификация: стандартный, простой, порядковый тип.

Стандартное имя 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

TRUE

FALSE

TRUE

FALSE

FALSE

TRUE

TRUE

FALSE

TRUE

TRUE

FALSE

TRUE

FALSE

TRUE

2.2. Операции отношения (сравнения)


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

Таблица 5.2. Операции сравнения

Операнды

Результаты операции

A

B

Aменьше

A<=B
меньше или равно

A>=B
больше или равно

A<>B
не равно

A>B
больше

A=B
равно

FALSE

FALSE

FALSE

TRUE

TRUE

FALSE

TRUE

FALSE

FALSE

TRUE

TRUE

TRUE

FALSE

TRUE

FALSE

FALSE

TRUE

FALSE

FALSE

FALSE

FALSE

TRUE

TRUE

TRUE

TRUE

TRUE

FALSE

FALSE

TRUE

FALSE

TRUE

FALSE

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 битов не используются), т.е. имеет простую структуру.