Ответсообщение недоступно
Ровно две бинарные булевы операции, каждая из которых по отдельности образует функционально полный (тьюринг-полный на уровне булевых выражений) набор:
• NAND (штрих Шеффера): x ↑ y = ¬(x ∧ y)
• NOR (стрелка Пирса): x ↓ y = ¬(x ∨ y)
Все остальные бинарные операции либо сохраняют 0/1, либо монотонны, линейны или самодвойственны и потому неполны по критерию Поста.