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

Простое условие сравнивает значения: = означает равенство, <> — неравенство, > и < — строгие сравнения, >= и <= включают равенство. Логическая переменная имеет тип boolean. Результат сравнения можно сохранить в ней или сразу использовать в if и while.

Для чётности целого x проверяют x mod 2 = 0. Положительность выражают x > 0, а неотрицательность — x >= 0. Нуль не является положительным, но является неотрицательным и чётным. Это хороший пример для проверки границ.

Выражение A and B истинно только при двух истинных частях. A or B ложно только при двух ложных частях. Операция or включает случай, когда истинны обе части. not true даёт false, а not false — true.

Не путайте логическое «или» с требованием «ровно одно». Для последнего подходит условие (A and not B) or (not A and B). Сложное высказывание проверяют по частям: сначала значения A и B, затем результат объединения. Таблица истинности показывает все четыре сочетания двух логических величин.

Число x лежит от 3 до 8 включительно, если (x >= 3) and (x <= 8). Оно находится вне этого отрезка, если (x < 3) or (x > 8). На границе x = 3 первое условие истинно, а второе ложно. Для открытого интервала используют строгие сравнения.

В Паскале нельзя переносить математическую цепочку 3 <= x <= 8 как готовое условие. Каждое сравнение записывают отдельно и заключают в скобки. Приоритеты and и or относительно сравнений отличаются от привычной записи рассуждений, поэтому скобки вокруг сравнений особенно важны.

Не выполнены обе части одновременно: not (A and B) равносильно (not A) or (not B). Не выполнена ни одна: not (A or B) равносильно (not A) and (not B). Эти правила помогают записать противоположное условие без пропуска вариантов.

Например, отрицание x > 0 — это x <= 0, а не x < 0: нуль обязательно входит в дополнение. Проверяйте выражение на значениях слева от границы, на самой границе и справа. Если порядок концов отрезка неизвестен, сначала упорядочьте их или предусмотрите оба направления.