Логические операции и операции отношения.

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

Результат сравнения имеет логический тип (bool) – TRUE (истина или 1) либо FALSE (ложь или 0).

Рассмотрим подробнее операции отношения, к ним относятся:

>больше;

< меньше;

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

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

= = равно (проверка на равенство)

!= не равно.

Операции отношения по рангу младше арифметических операций, так что выражения типа :

i < lim+3 понимаются как i < (lim+3)

Приведем примеры проверки простых логических условий :

if (i>7) результат 1(да) если i больше 7, и 0 (нет) – в противном случае

if (i==j) результат 1 если i равно j

if (x+1 != k) результат 1 если x+1 не равно k

Чаще всего ошибки совершают при проверке на равенство, обратите внимание, что в этом случае необходимо ставить два знака «=»,

выражение подобное if (i=j) неверно!

но компилятор подобные ошибки не диагностирует , так как интерпретирует данное выражение следующим образом : if ((i=j)!=0), то есть сначала заносит значение j в переменную i, а затем сравнивает результат с нулем.

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

К логическим операциям относятся:

&&логическое И (конъюнкция), бинарная операция;

|| логическое ИЛИ (дизъюнкция), бинарная операция.

! логическое НЕ (отрицание), унарная операция;

Так же как и у операций отношения, у логических операций результат логический (бинарный), либо 1 (TRUE) либо 0 (FALSE).

Примеры применения логических связок (сложных условий) :

Если а <b, то :

Чтобы записать логическое условие, соответствующее следующей математической записи a<i<b, потребуется логическая связка && :

if ( i>a && i< b)

Чтобы записать логическое условие, соответствующее следующей математической записи a>i>b, потребуется логическая связка || :

if ( i<a || i> b)