Изменения

Перейти к: навигация, поиск

Полином Жегалкина

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

Навигация