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

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

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

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

Для побудови таблиці підфункції необхідно:

 видалити з таблиці всі рядки, які не містять вектор на місцях, що задані мультиіндексом , в результаті отримати таблицю ;

 з таблиці видалити всі колонки , що містять вектор на місцях, що задані мультиіндексом , що в результаті дає табличний запис для .

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