2Логические операции

Логические операции иногда называют булевыми, так как взяты они из булевой алгебры. Операндами в них выступают булевы величины и возвращают они тоже булевы значения. В таблице 7 приведены основные логические операторы, используемые в разных языках программирования, в порядке убывания приоритета. При этом следует отметить, что в разных языках программирования логические операции могут иметь разный приоритет по отношению к другим операциям – арифметическим и сравнения. Например, в Бейсике приоритет логических операций ниже, чем операций сравнения. В Паскале – наоборот, а приоритет оператора not даже выше, чем у арифметических операций.

Простейший логический оператор — NOT. Он предшествует единственному операнду и возвращает его логическую противоположность — иначе говоря, «отрицает» операнд. Например, выражение NOT Тruе дает в результате False (булево значение, обратное Тruе); а выражение NOT (4 < 3) — Тruе, так как условие (4 < 3) ложно. Кроме того, этот оператор обладает наивысшим приоритетом по сравнению с остальными булевыми операторами. Кстати, операция отрицания является унарной, или одноместной, в отличие от остальных логических операций, являющихся бинарными, или двуместными, то есть выполняющими действия с двумя операндами.

Следующий (в порядке убывания приоритета) оператор — AND. Он возвращает True, только если оба операнда имеют значение True. По смыслу он соответствует английскому слову And (русскому и), что можно проиллюстрировать, например, таким утверждением: «Он получит эту должность, только если знает английский и разбирается в компьютерах».

Оператор OR возвращает True, если любой из двух операндов True или если оба True. И в этом случае логический смысл оператора совпадает с соответствующим словом в языке: «Я куплю этого кота, если он не дороже 50 долларов или если он — сиамской породы».

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

Операциям исключающее ИЛИ (неравнозначность), эквивалентность (равнозначность) и импликация в Бейсике соответствуют операторы XOR, EQV и IMP. Результат логической операции определяется поразрядно согласно таблице 3. Операторы приведены в порядке убывания их приоритета.

Таблица 3

Результаты, возвращаемые логическими операциями

Операнды		Результаты операций
Х	Y	NOT Х	Х AND Y	X OR Y	X XOR Y	X EQV Y	X IMP Y
1	1	0	1	1	0	1	1
1	0	0	0	1	1	0	0
0	1	1	0	1	1	0	1
0	0	1	0	0	0	1	1

Примечание. В языке программирования Бейсик (и приведенных ниже заданиях) для обозначения целочисленных операндов, представленных в восьмеричной и шестнадцатеричной системах счисления, используются префиксы &O и &H соответственно.