Что-то все пропустили логические вентили xand, xnand

[atd]

Итак, у нас получилось ...

А куда пропали ещё четыре «оператора» 0101, 1010, 1100 и 0011?

[Vosirandr]

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

[Deosis]

Они зависят только от одного операнда, и поэтому не совсем булевые.

not b, b, a, not a

[Vosirandr]

А, понял. А их как-то можно записать? Прям так: a, b, not a, not b? Или есть другое обозначение?

[Deosis]

Это самое простое определение 1100 => f(a,b) = a

[Vosirandr]

Я про другое. У меня же xor, and, or и т.д. Тут na? ba? a? b? Или как?

[Vosirandr]

Поправил, спасибо

[Deosis]

Первая же ссылка в поиске:

The sixteen binary Boolean functions

https://en.wikipedia.org/wiki/Truth_table#Wittgenstein_table

[Vosirandr]

Понятно, спасибо.