Логические операции в программировании

Логический тип данных

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

Значение логического типа отвечает на вопрос «да или нет». Например, проверка «число больше десяти» даёт истину или ложь в зависимости от конкретного числа.

Операции сравнения

Результатом сравнения двух величин является логическое значение. Сравнения — это мост между числами и логикой: они превращают отношения чисел в истину или ложь.

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

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

• AND (И) — истина только тогда, когда оба условия истинны.
• OR (ИЛИ) — истина, когда хотя бы одно из условий истинно.
• NOT (НЕ) — меняет значение условия на противоположное.

Составные условия

Составные условия нужны, когда решение зависит сразу от нескольких проверок. Например, число принадлежит отрезку от 10 до 20, если оно одновременно не меньше 10 и не больше 20. Оба простых условия соединяются операцией И.

если (x >= 10) AND (x <= 20) то
вывод "Число в отрезке"

Простые условия в составном выражении принято заключать в скобки, чтобы задать правильный порядок вычислений.

Разобранный пример

Составим программу, которая проверяет делимость года на 4 — это простейший признак для определения високосного года. Результат сравнения остатка с нулём является логическим значением, по которому ветвление выбирает путь.

ввод god
если (god mod 4 = 0) то
вывод "Делится на 4"
иначе
вывод "Не делится на 4"

Здесь операция mod вычисляет остаток от деления, а сравнение этого остатка с нулём даёт истину или ложь. Именно логическое значение управляет выбором ветви.

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

Частые ошибки. Забывают скобки вокруг простых условий в составном выражении, из-за чего нарушается порядок операций. Путают знак сравнения = и знак присваивания. Используют И вместо ИЛИ и наоборот, неверно понимая условие задачи.

Кратко о главном

• Логический тип данных имеет два значения: истина и ложь.
• Операции сравнения дают логический результат для условий.
• Операции И, ИЛИ, НЕ объединяют простые условия в составные.
• Простые условия в составном выражении заключают в скобки.