Логические операторы в Python: and, or, not

Python использует не символы (&&, ||, !, как во многих других языках), а обычные английские слова. За каждым стоит ровно та операция, что разобрана формально в 3.2:

Никакой новой логики здесь нет – только новый синтаксис для уже знакомых таблиц истинности. Обратите внимание: or нестрогое, «а можно и оба», а не «одно из двух».

>>> True and False
False
>>> True or False
True
>>> not True
False
>>> 5 > 3 and 2 < 4
True

Вложенный if из разминки и одна строка с and дают одинаковый результат – блок выполнится ровно в тех же случаях:

rain = True
wind = False

# Вариант 1: вложенный if
if rain:
    if wind:
        print("Беру непромокаемую куртку")

# Вариант 2: одна строка с and – тот же результат
if rain and wind:
    print("Беру непромокаемую куртку")

При rain = True, wind = False не сработает ни один из вариантов – и это правильно: конъюнкция требует обоих операндов. Операнды and не обязаны быть голыми переменными типа bool – это могут быть и сравнения. and просто компактнее и читается как обычная фраза, без лишнего уровня отступа.

Тот же порядок, что и в формулах алгебры логики (3.2): сначала not, потом and, потом or. Скобки, как обычно, меняют порядок явно.

Есть и деталь, специфичная именно для Python: операторы сравнения (>, ==, < и другие) по приоритету выше логических операторов. То есть в выражении a > b and c > d скобки вокруг сравнений не нужны – Python и так посчитает их первыми, а and применит уже к готовым True/False.

>>> 5 > 3 and 2 < 1 or 4 == 4
True

Разбор по шагам:

1. Сравнения: 5 > 3 → True, 2 < 1 → False, 4 == 4 → True
2. and: True and False → False
3. or: False or True → True

Практическая особенность Python: and и or вычисляют операнды слева направо и останавливаются, как только результат уже понятен. Если левый операнд and ложен – правый вообще не вычисляется, итог и так False. Если левый операнд or истинен – правый тоже не вычисляется, итог и так True.

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

a = 10
b = 0

# Безопасно: b != 0 ложно, поэтому деление a / b не выполнится вовсе
if b != 0 and a / b > 1:
    print("Частное больше единицы")
else:
    print("Условие не выполнено")

А вот та же проверка с переставленными операндами уже аварийная: a / b вычислится раньше, чем b != 0, и программа упадёт с ошибкой ZeroDivisionError, не дойдя до спасительного сравнения:

if a / b > 1 and b != 0:   # ZeroDivisionError
    ...

Классическая задача, где and и or нужны одновременно. Дан прямоугольник, заданный координатами двух противоположных углов – (x1, y1) и (x2, y2). Нужно определить, попадает ли точка (x, y) внутрь него.

Условие – конъюнкция сразу четырёх сравнений: x-координата точки должна лежать между x1 и x2, и y-координата – между y1 и y2. Если убрать хотя бы одно из четырёх сравнений, условие перестанет корректно описывать прямоугольник.

x1, y1, x2, y2 = 0, 0, 10, 5
x, y = 7, 3

# Двойное сравнение x1 <= x <= x2 в Python можно писать
# одной цепочкой – это то же самое, что x1 <= x and x <= x2
inside = x1 <= x <= x2 and y1 <= y <= y2

print(inside)   # True

Усложнение через or: если областей две и точка считается «в зоне», когда попадает в прямоугольник A или в прямоугольник B, – итоговое условие выглядит как (проверка для A) or (проверка для B), то есть объединение двух областей.