Логический тип данных. Операции сравнения.

С.А. Григорьев

Логические, или булевские, данные предназначены для хранения логических значений "истина" или "ложь". Логические переменные и константы имеют тип Boolean и занимают в памяти 1 байт. Существует всего две логические константы - TRUE и FALSE. Тип Boolean - это порядковый тип, поэтому для него определены функции Ord, Pred, Succ и процедуры Inc и Dec (впрочем, довольно редко применяемые), причем Ord(FALSE) =0, Ord(TRUE) =1. Прежде чем перейти к логическим операциям, рассмотрим операции сравнения, которых в Паскале существует шесть :

=    равно;

<>  не равно;

<    меньше;

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

>    больше;

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

Операции сравнения определены для любых однотипных операндов (числовых, символьных, логических); для числовых данных, так же, как и в случае арифметических операций, сделано исключение - вы можете сравнивать два числовых выражения любых типов, но сравнивать число и символ, число и логическую величину, символ и логическую величину нельзя! Результат операции сравнения есть TRUE или FALSE, в зависимости от того, выполнено или не выполнено условие. Числа сравниваются между собой естественным образом, символы - в соответствии с их номерами, а для логических величин справедливо неравенство FALSE<TRUE. Логических, или булевских, операций в Паскале четыре :

NOT - логическое отрицание;

AND - логическое "и";

OR - логическое "или";

XOR - логическое исключающее "или".

Правила выполнения этих операций таковы :

NOT - унарная (т.е. применимая к одному операнду) операция :

NOT FALSE = TRUE , NOT TRUE = FALSE .

Правила выполнения бинарных операций AND, OR и XOR приведены в таблице 3.

Таблица

Правила выполнения бинарных операций