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