Теперь Кью работает в режиме чтения

Мы сохранили весь контент, но добавить что-то новое уже нельзя

Что означает двойная черта сверху в логике (⩢)? При составлении логической схемы возникли проблемы.

cT9G1OI.png
ЛогикаИнформатикаЛогическая схема
Андрей Клишин
  · 3,5 K
Лучший
Редактор, автор и переводчик книг по математике  · 20 сент 2020  ·
problemaday

Это двойное отрицание. В арифметике вы же можете записывать два знака минуса подряд: -(-3). В логике вы можете дважды применить отрицание, только тут даже скобки не нужны.

Незадача Кью. Решение задач по математикеПерейти на yandex.ru/q/loves/7b65a89f-f3fa-4aac-9d7b-824b66b44f01
Программирование, Python, математика. Выпускник Яндекс.Лицея 2020.  · 20 сент 2020  · cdarr.ru

Одиночная черта — отрицание, двойная — двойное отрицание. По закону двойного отрицания, очевидно, —(—А)) = А.

Про закон двойного отрицания: https://ru.m.wikipedia.org/wiki/%D0%97%D0%B0%D0%BA%D0%BE%D0%BD_%D0%B4%D0%B2%D0%BE%D0%B9%D0%BD%D0%BE%D0%B3%D0%BE_%D0%BE%D1%82%D1%80%D0%B8%D1%86%D0%B0%D0%BD%D0%B8%D1%8F