Логические операторы. Часть 4

При работе с логическими выражениями иногда нужно упростить или перестроить их. Это особенно полезно при работе со сложными conditions, которые объединяют несколько операторов and и or.

Законы де Morgan предоставляют правила для преобразования logical expressions. Эти преобразования помогают сделать код более понятным и лёгким для понимания.

First Law: not (A and B) — это то же самое, что и (not A) or (not B)

Обратите внимание: при распределении not в выражении происходят две вещи: каждый операнд отрицается (A становится not A, B становится not B), а также оператор изменяется на противоположный: and становится or. not не просто отрицает значения — он также переключает связывающий их оператор.

В качестве example:

# Давайте проверим, является ли число НЕ (между 1 и 10)
number = 15

# Эти два выражения эквивалентны:
result1 = not (number >= 1 and number <= 10)
result2 = (not number >= 1) or (not number <= 10)

print(result1)  # True
print(result2)  # True

Второй закон: not (A or B) эквивалентно (not A) and (not B)

Здесь применяется то же правило из двух шагов: каждый операнд отрицается, а оператор переключается. На этот раз or превращается в and. Представь это так: распределение not всегда меняет and ↔ or, отрицая каждую часть.

Например:

# Проверка, является ли человек НЕ (студентом или работающим)
is_student = False
is_employed = False

# Эти два выражения эквивалентны:
result1 = not (is_student or is_employed)
result2 = (not is_student) and (not is_employed)

print(result1)  # True
print(result2)  # True

Complex Example with Both AND и OR: Иногда вам нужны conditions, которые объединяют оба оператора. Вот практический пример:

# Проверяем, можем ли мы НЕ принять заявку на работу
# Мы отклоняем, если: (нет опыта AND нет диплома) OR не соответствует возрастному требованию

has_experience = False
has_degree = False
meets_age = True

# Сложное условие с использованием AND и OR
reject_application = (not has_experience and not has_degree) or not meets_age

print(reject_application)  # True (отклонено, потому что нет опыта AND нет диплома)

# Это также можно записать, используя законы де Моргана:
# accept = (experience OR degree) AND meets age; reject = not accept
accept_application = (has_experience or has_degree) and meets_age
reject_application2 = not accept_application

print(reject_application2)  # True (тот же результат, другая логика)

Когда использовать законы де Моргана:

• Чтобы упростить чтение отрицательных условий
• Чтобы упростить сложные логические выражения
• Чтобы преобразовывать разные представления одной и той же логики