Материалы что дал Мухачев / Материалы что дал Мухачев / Білети_коротки_відповіді / Білети_відпові_БСДМ / Mg_Vidp49

49. Визначення підфункції булевої функції , що задана аналітично. Навести приклад.

Нехай булева функція надана у вигляді полінома.

Нехай частині змінних надано відповідно значень , після чого обчислено вираз , де , при чому і .

Тоді функція від змінних називаеться підфункцією функції , що отримана фіксацією змінних на місцях за допомогою вектора і позначається .

Список називається мультиіндексом.

Аргументами функції є аргументи з номерами, що не належать множині , а значення дорівнює .

Приклад. , .