Существенная и фиктивная переменная

Материал из Национальной библиотеки им. Н. Э. Баумана
Последнее изменение этой страницы: 18:06, 12 мая 2016.

Определение

TemplateDifinitionIcon.svg Определение «Определение - Существенная переменная»

- существенная, если существует два таких набора и , что:

.

TemplateDifinitionIcon.svg Определение «Определение - Фиктивная переменная»
- фиктивная, если для всех таких наборов вида и справедливо:

Зависимость веса функции и фиктивности ее переменных

TemplateLemmaIcon.svg Лемма «Утверждение»

Если у есть хотя бы одна фиктивная переменная, то вес четный (Обратное утверждение не выполняется!).


См. также

Булева алгебра

О существенных и фиктивных переменных булевых функций

Существенные и несущественные переменные, производная булевой функции первого порядка, вес переменной