43
правки
Изменения
Нет описания правки
По теореме Поста, чтобы система булевых функций была полной, надо, чтобы в ней существовали:
<nowiki>
1.Хотя бы одна функция, не сохраняющая 0.<br>2.Хотя бы одна функция, не сохраняющая 1.<br>3.Хотя бы одна нелинейная функция.<br>4.Хотя бы одна немонотонная функция.<br>5.Хотя бы одна несамодвойственная функция.<br>
</nowiki>
Этому требованию отвечает система функций <math>\bigl\langle \wedge, \oplus, 1 \bigr\rangle</math>. На её основе и строятся полиномы Жегалкина.
