Условие и логическое выражение

Условие и логическое выражение

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

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

Простые условия строят с помощью операций сравнения. Они сравнивают два значения и дают логический результат — истину или ложь.

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

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

(x > 0) И (x < 10) — истинно, когда x лежит между 0 и 10
(a = 0) ИЛИ (b = 0) — истинно, когда хотя бы одно равно нулю
НЕ (x = 5) — истинно, когда x не равно 5

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

Пусть x = 7. Проверим условие (x > 5) И (x < 10).

Всё условие истинно, поэтому ветвь «да» алгоритма выполнится. А если бы x = 12, то часть x < 10 стала бы ложной, и по правилу операции И всё условие оказалось бы ложным, выполнилась бы ветвь «нет».

Где используются условия

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

Условия в электронных таблицах

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

Значения истина и ложь

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

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

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

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