Почему (а и б) не то же самое, что не а и не б?

Почему Not(a and b) не то же самое, что Not a and Not b?


while i < len(array) - 1:
    if not array[i - 1] < array[i] and not array[i] > array[i + 1]:
        i += 1
        continue

while i < len(array) - 1:
isPeak = array[i - 1] < array[i] and array[i] > array[i + 1]
        if not isPeak:
            i += 1
            continue


Я включил код, который вызвал это, но почему Not(a and b) не то же самое, что Not a and Not b?

Потому что not (a and b) логически не то же самое, что not a and not b.

mkrieger1 22.12.2020 01:47

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

Corbett Knoff 22.12.2020 01:50

Гугл Законы де Моргана.

Barmar 22.12.2020 01:50

Ответ на ваш обновленный вопрос: «потому что именно так работает логическая логика». Как сказано, см., например, en.wikipedia.org/wiki/De_Morgan%27s_laws

mkrieger1 22.12.2020 02:11
not (a and b) == not a or not b и not a and not b == not (a or b).
mkrieger1 22.12.2020 02:16
Почему в Python есть оператор "pass"?
Почему в Python есть оператор "pass"?
Оператор pass в Python - это простая концепция, которую могут быстро освоить даже новички без опыта программирования.
Некоторые методы, о которых вы не знали, что они существуют в Python
Некоторые методы, о которых вы не знали, что они существуют в Python
Python - самый известный и самый простой в изучении язык в наши дни. Имея широкий спектр применения в области машинного обучения, Data Science,...
Основы Python Часть I
Основы Python Часть I
Вы когда-нибудь задумывались, почему в программах на Python вы видите приведенный ниже код?
LeetCode - 1579. Удаление максимального числа ребер для сохранения полной проходимости графа
LeetCode - 1579. Удаление максимального числа ребер для сохранения полной проходимости графа
Алиса и Боб имеют неориентированный граф из n узлов и трех типов ребер:
Оптимизация кода с помощью тернарного оператора Python
Оптимизация кода с помощью тернарного оператора Python
И последнее, что мы хотели бы показать вам, прежде чем двигаться дальше, это
Советы по эффективной веб-разработке с помощью Python
Советы по эффективной веб-разработке с помощью Python
Как веб-разработчик, Python может стать мощным инструментом для создания эффективных и масштабируемых веб-приложений.
0
6
1 023
1
Перейти к ответу Данный вопрос помечен как решенный

Ответы 1

Ответ принят как подходящий

Потому что они логически не эквивалентны. Вы можете решить это сами с помощью таблицы истинности:

А Б не А не Б не А и не Б Ф Ф Т Т Т Ф Т Т Ф Ф Т Ф Ф Т Ф Т Т Ф Ф Ф
А Б А и Б нет (А и Б) Ф Ф Ф Т Ф Т Ф Т Т Ф Ф Т Т Т Т Ф

Если вы посмотрите на законы Де Моргана, там доступно простое преобразование; когда вы распределяете not в скобках, вы переключаетесь с and на or (и наоборот), поэтому not (A and B) эквивалентно not A or not B; если вы составите для этого таблицу истинности, вы обнаружите, что они идеально совпадают. Точно так же вытягивание not из not A and not B дает not (A or B), и снова таблица истинности совпадает.

@VLAZ: Спасибо за улучшенное форматирование, не знал они ввели таблицы в Markdown.

ShadowRanger 22.12.2020 19:07

Другие вопросы по теме