Материалы что дал Мухачев / Материалы что дал Мухачев / Білети_коротки_відповіді / Білети_відпові_БСДМ / Mg_Vidp51
.doc51. Обчислення підфункції булевої функції , що задана таблично.
Нехай функція надана таблично таблицею виду , де список аргументів, вектор значень функції.
Підфункцією булевої функції , що отримана фіксацією змінних на місцях за допомогою вектора , називається функція , яка визначається рядками таблиці , для яких , , .
Для побудови таблиці підфункції необхідно:
видалити з таблиці всі рядки, які не містять вектор на місцях, що задані мультиіндексом , в результаті отримати таблицю ;
з таблиці видалити всі колонки , що містять вектор на місцях, що задані мультиіндексом , що в результаті дає табличний запис для .
Аргументами функції є аргументи функції з номерами, що не належать множині .