Существует ли алгебра логики с оператором логического вычитания?

Murka10110, извините, но картиночки - это не доказательство.

свои тезис-доказательство-вывод

Строим таблицы истинности для xor и вычитания по модулю 2 - таблицы идентичны - операции эквивалентны. Сами таблицы расписаны выше.

Вот это пример доказательства, без картинок, без интуитивных предположений,

Учитывая, что А - В в булевой алгебре означать может только А·!В, то таблица истинности должна быть следующая:

без вот этих вот всякий софистских приёмов. "Может только" - нет, никаких может, это не доказательство, это ваша ничем необоснованная догадка.

F# как первый язык программирования - Боль?

Василий Банников, проблема в том, что концепция фп несостоятельна сама по себе. Безусловно, в ней присутствуют интересные идеи, которые можно было бы добавить в ооп языки, но не более того.

F# как первый язык программирования - Боль?

Василий Банников, ну разумеется, вот целая статья.

Там много всего написано, может даже неправда, но ключевые моменты даны. Например:

Функциональное программирование предполагает обходиться вычислением результатов функций от исходных данных и результатов других функций, и не предполагает явного хранения состояния программы.

Или вот ещё один:

Для преодоления недостатков функциональных программ уже первые языки функционального программирования включали не только чисто функциональные средства, но и механизмы императивного программирования (присваивание, цикл, «неявный PROGN» были уже в Лиспе).

Забавно, да? Уже первые языки фп не смогли работать без костылей со стороны ооп.

В любом случае для i/o нужно контролировать состояние буфера, что принципиально невозможно в фп. С другой стороны буферы и ооп в целом естественно вытекают из физического устройства компьютеров.

Существует ли алгебра логики с оператором логического вычитания?

Murka10110,

ваши ложные выводы не обманывали товарищей

Вот я выше привёл строгое математическое доказательство, что предложенное мной вычитание эквивалентно xor. А вы налили несколько простыней абстрактных рассуждений, ничего не доказали и не опровергли, ссылки читать не хотите.

К сожалению, пока что ложны только ваши рассуждения. Кроме того, вы упорно не хотите ничего никому доказывать.

Существует ли алгебра логики с оператором логического вычитания?

Murka10110, на всякий случай повторюсь, что в алгебре логики есть только истина, ложь, конъюнкция, дизъюнкция и отрицание. Никаких 0, 1, +, школьной арифметики и тем более множеств.

Существует ли алгебра логики с оператором логического вычитания?

Murka10110, я вас понял.

Смотрите, автор спрашивает

Существует ли логическая операция олицетворяющая вычитание?

На что я отвечаю, что это xor и привожу ссылку на вики, где в первом же предложении написано, что xor иногда называют логическим вычитанием.

Далее следуют какие-то там доказательства, но, видимо, вас они не волнуют. Поэтому могу только порекомендовать прочитать вики.

F# как первый язык программирования - Боль?

Василий Банников, потому что i/o - это нарушение основополагающих принципов фп.

F# как первый язык программирования - Боль?

Василий Банников, большая куча - это, конечно, хорошо, но бесполезно без термоядерной базы ооп.

Не стоит забывать, что вывести на экран hello wolrd - уже непосильная для ФП задача.

Существует ли алгебра логики с оператором логического вычитания?

Murka10110,

В булевой алгебре НЕТ вычитания и деления, поскольку это предполагало бы ответы для выражения 0-1=-1, а такого в бинарной системе быть не может.

Это обычное кольцо по модулю 2. Поэтому все простейшие операции естественным образом работают, в том числе и вычитание. -1 mod 2 = 1
Если вы говорите конкретно про алгебру логики, то в ней и 0, 1 тоже отсутствуют - есть только ложь, истина, клнъюнкция, дизъюнкция и отрицание.

Учитывая, что А - В в булевой алгебре означать может только А·!В, то таблица истинности должна быть следующая:

Хотелось бы увидеть ваше доказательство. Вот я выше привёл таблицу интстинности вычитания по модулю 2, таблицу xor, они совпали, ч.т.д. А где ваши таблицы? И почему бы тогда не использовать симметричную разность множеств?

Возможно ли эмулировать данные о компьютере отдельно для определённой программы?

mayton2019, а вот я стараюсь пиратить как можно больше контента. И я всё ещё не понимаю, почему мне на стим не пришли мои 500 рублей с процентами за cs go, которую я честно купил.

Какие бесплатные icons лучше подключать?

А почему иконки должны подгружаться все сразу? Если вы их в атлас упаковали, то они подгружаются одной большой картинкой, иначе отдельными маленькими по запросу.

Multiwan агрегация на linux?

Похоже, проблема именно в джиттере пакетов, скорее даже в tls handshake. Я бы раскидывал именно по клиентам, а не пакетам.

Как выбрать самую быструю оперативу?

Мои эксперименты с ИИ совершенно чётко упёрлись в скорость чтения из RAM (не VRAM)

Повторите ещё раз свои эксперименты, потому что оперативка - последнее, что могло затормозить ваш "ии".

Причем именно "чтение" наводит на мысли, что у вас банально маленький объем или просто плохой алгоритм.

Почему не выполняется код из свойства?

А что показывает отладчик? Вы пытались поставит точку останова и изучить стек или выполнить пошагово?

Почему boolean использует больше памяти чем byte?

Kash_Tan, не забывайте указывать теги.

(Теория) В каких случаях принято ставить L3 в центре?

Вася Пупкин, нет, у коммутатора обычно больше портов, чем у маршрутизатора.

Как выполнять каждый запрос в tor с разных ip?

Q!, а где вы столько ip возьмёте?

Как подключить антену к чипу банковской карты?

У меня нет схемы, но могу посоветовать разобрать любую nfc банковскую карту. Подключение должно быть идентичным (как с симками).

В чём отличие многопоточности и асинхронности в контексте .NET C#?

Разница только в планировщике: для потоков используется системный планировщик, для корутин - внутренний планировщик виртуальной машины в текущем потоке.

p. s.
Но это не точно. Надо бы почитать в оф. документации.

Почему boolean использует больше памяти чем byte?

Steel_Balls,

по-моему, автор совершенно точно имеет в виду Ассемблер

Я тоже люблю таких ноунеймов из интернета, которые с пеной изо рта пытаются мне доказать, что в голове было у других ноунеймов, когда те задавали некорректный вопрос.

В любом случае, если у вас синдром нытика, то вы всегда можете написать свой собственный истинно правильный ответ про с, ассемблер, машинный код, триггеры или во что вы там верите.