Изменения

По теореме Поста, чтобы система булевых функций была полной, надо, чтобы в ней существовали:

1.Хотя бы одна функция, не сохраняющая 0.

2.Хотя бы одна функция, не сохраняющая 1.

4.Хотя бы одна немонотонная функция.

5.Хотя бы одна несамодвойственная функция.

Этому требованию отвечает система функций <math>\bigl\langle \wedge, \oplus, 1 \bigr\rangle</math>. На её основе и строятся полиномы Жегалкина.