Ћекции.ќрг


ѕоиск:




 атегории:

јстрономи€
Ѕиологи€
√еографи€
ƒругие €зыки
»нтернет
»нформатика
»стори€
 ультура
Ћитература
Ћогика
ћатематика
ћедицина
ћеханика
ќхрана труда
ѕедагогика
ѕолитика
ѕраво
ѕсихологи€
–елиги€
–иторика
—оциологи€
—порт
—троительство
“ехнологи€
“ранспорт
‘изика
‘илософи€
‘инансы
’ими€
Ёкологи€
Ёкономика
Ёлектроника

 

 

 

 


ќсновные логические операторы




Ќазвание логической операции ќператор
математ. Basic, Pascal —++, Java
логическое отрицание ЂЌ≈ї (инверси€) ¯   Not !
логическое Ђ»ї (конъюнкци€) Ù Ј And &&
логическое Ђ»Ћ»ї (дизъюнкци€) Ú + Or | |

 

ѕростейший логический оператор Ц NOT. ќн предшествует единственному операнду и возвращает его логическую противоположность Ц иначе говор€, Ђотрицаетї операнд. Ќапример, выражение NOT “ruе даЄт в результате False (булево значение, обратное “ruе); а выражение NOT (4 < 3) Ц “ruе, так как условие (4 < 3) ложно.  роме того, этот оператор обладает наивысшим приоритетом по сравнению с остальными булевыми операторами.  стати, операци€ отрицани€ €вл€етс€ унарной, или одноместной, в отличие от остальных логических операций, €вл€ющихс€ бинарными, или двуместными, т.е. выполн€ющими действи€ с двум€ операндами.

—ледующий (в пор€дке убывани€ приоритета) оператор Ц AND. ќн возвращает True, только если оба операнда имеют значение True. ѕо смыслу он соответствует английскому слову and (русскому и), что можно проиллюстрировать, например, таким утверждением: Ђќн получит эту должность, только если знает английский и разбираетс€ в компьютерахї.

ќператор OR возвращает True, если любой из двух операндов True или если оба True. » в этом случае логический смысл оператора совпадает с соответствующим словом в €зыке: Ђя куплю этого кота, если он не дороже 50 долларов или если он Ц сиамской породыї.

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

ѕример 1. ќпределить, что сумма баллов S, набранна€ студентом на тестированиинаходитс€ в пределах 60¸100 баллов, т.е. принадлежит интервалу [60,100] :

S >= 60 AND S <= 100.

ѕример 2. ќпределить, что сумма баллов S, набранна€ студентом на тестировании,не входит в пределы 60¸100 баллов, т.е. находитс€ вне интервала [60, 100] :

NOT (S >= 60 AND S <= 100);

или, что даЄт тот же самый результат,

S < 60 OR S > 100.

ѕравила выполнени€ операций в алгебре логики определ€ютс€ р€дом аксиом, теорем и следствий. ¬ частности, дл€ алгебры логики выполн€ютс€ следующие законы:

1) сочетательный (ассоциативность):

(а OR b) OR с = а OR (b OR с);

(а AND b) AND с = а AND (b AND с).

2) переместительный (коммутативный):

а OR b = b OR а;

а AND b = b AND а.

3) распределительный (дистрибутивность конъюнкции и дизъюнкции относительно дизъюнкции и конъюнкции):

а AND (b OR с) = а AND b OR а AND с;

а OR b AND с = (а OR b) AND (а OR с).

—праведливы также следующие соотношени€: NOT NOT a = a;
а OR а AND b = а; NOT a OR NOT b = NOT (a AND b) и др.

Ћогические операции могут производитьс€ не только над булевыми величинами, но и над битами операндов. ¬ этом случае логическа€ операци€ возвращает поразр€дный результат, который либо истинен (1), либо ложен (0). ¬ €зыках программировани€ могут существовать специальные операторы побитового выполнени€ логических операций. Ќапример, в Ђ—и++ї и Ђяваї поразр€дным (побитовым) операци€м Ќ≈, », »Ћ» соответствуют операторы ~, &, | (сравните с операторами табл. 7).

¬ Ѕейсике используютс€ только побитовые логические операции, а операнды представл€ютс€ в восьми-, шестнадцати- или тридцатидвухразр€дном дополнительном коде. ѕри этом булевым значени€м False и “ruе соответствуют дес€тичные значени€ 0 и -1, так, 0 Ц число, в котором все биты обнулены, а -1 Ц двоичное число, все биты которого установлены в 1 (см. табл. 3).

ќпераци€м исключающее »Ћ» (неравнозначность), эквивалентность (равнозначность, ↔) и импликаци€ (если то, →) в Ѕейсике соответствуют операторы XOR, EQV и IMP. –езультат логической операции определ€етс€ поразр€дно согласно таблице 8. ќператоры приведены в пор€дке убывани€ их приоритета.

 

“аблица 8





ѕоделитьс€ с друзь€ми:


ƒата добавлени€: 2015-01-29; ћы поможем в написании ваших работ!; просмотров: 1808 | Ќарушение авторских прав


ѕоиск на сайте:

Ћучшие изречени€:

¬ы никогда не пересечете океан, если не наберетесь мужества потер€ть берег из виду. © ’ристофор  олумб
==> читать все изречени€...

1338 - | 1258 -


© 2015-2024 lektsii.org -  онтакты - ѕоследнее добавление

√ен: 0.008 с.