Данные логического типа

Логический тип данных часто называют булевским по имени английского математика Д. Буля, создателя особой области математики — математической логики.

В языке ПАСКАЛЬ имеются две логические константы: TRUE (истина) и FALSE (ложь). Логическая переменная принимает одно из этих значений и имеет тип BOOLEAN.

Логические данные широко используются при проверке правиль­ности некоторых условий и при сравнении величин. Результат может оказаться «истинным» или «ложным».

Для сравнения данных предусмотрены следующие операции от­ношений:

< (меньше);

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

= (равно);

<> (не равно);

>= (больше или равно);

> (больше).

Если операцию отношения приложить к арифметическим данным, то получим логическое значение: истинно отношение или ложно. На­пример,

отношение 5>3 (читается «пять больше трех?») дает истинный ре­зультат (TRUE);

отношение 5=3 (читается «пять равно трем?») дает ложный результат (FALSE).

Над логическими данными допускаются следующие операции: OR - логическое сложение (ИЛИ); AND - логическое умножение (И); NOT - логическое отрицание (НЕ). Логические операции OR и AND выполняются над двумя величинами, а операция NOT - над одной.

Логическое сложение дает истинный результат, если хотя бы одна из логических величин (А или В) имеет истинное значение. Если обе величины (А и В) имеют ложное значение, то и результат операции будет также ложным.

Логическое умножение дает истинный результат только в том, случае, если обе величины истинны. Если хотя бы одна величина ложна, то результат также будет ложным.

Логическое отрицание дает ложный результат, если ве­тчина имеет истинное значение, и наоборот.

Логический тип определяется таким образом, что FALSE < TRUE. результаты операций над логическими данными сведены в табл. 2.1.

Табл. 2.1.

А	В	NOT A	A OR В	A AND В
TRUE	TRUE	FALSE	TRUE	TRUE
TRUE	FALSE	FALSE	TRUE	FALSE
FALSE	TRUE	TRUE	TRUE	FALSE
FALSE	FALSE	TRUE	FALSE	FALSE

Например, результат операции

(C>10) OR (D<3)

будет истинным: а) при С = 12 и D = 2; б) при С = 12 и D = 5; в) при С = 8 и D = 2;

будет ложным при С = 8 и D = 5.

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

(C>10) AND (D<3)

будет истинным при С = 12 и D = 2;

будет ложным: а) при С =12 и D = 5; б) при С = 8 и D = 5; в) при С = 8 и D = 2.

Логические данные и операции над ними имеют важное значение в информатике, так как позволяют внести в расчеты элементы человеческой логики. При этом в теоретических расчетах в отличие от языка ПАСКАЛЬ часто вводят следующие обозначения логических констант: 1 - истина, 0 - ложь.