Изменения

Перейти к: навигация, поиск
Формулировка теоремы
==Формулировка теоремы==
'''Система булевых функций F''' называется является полной системой функций тогда и только тогда, когда она содержит функциюне содержится ни в одном из классов <math>~S,M,L, ''несохраняющую'' 1T_0,T_1</math>, функциют.е. когда в ней имеется хотя бы одна [[Функция (математика)|функция]], ''несохраняющую'' не сохраняющая 0, ''немонотонную''хотя бы одна функция, не сохраняющая 1, хотя бы одна несамодвойственная функция, ''несамодвойственную'' хотя бы одна немонотонная функция и ''нелинейную'' функции'''хотя бы одна нелинейная функция.'''---- 
==Доказательство ==
9
правок

Навигация