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