удаление фиктивных переменных

Вот и уточните у того, кто требует, что именно он требует. Телепатов здесь не водится.

Я телепат =)))
Фиктивные переменные - это такие переменные, что на КАЖДОМ наборе, соседнем по этой переменной, значения функции будут совпадать.
Чтобы понять, на бумаге напишите таблицу истинности для этой функции. Если функция задана вектором значений (а оно, скорее всего, так и есть), то вектор записывается сверху вниз (первое значение при 00..0, последнее при 11..1)... И смотрите соседние наборы по каждой компоненте.
Напоминаю, набор является соседним по какой-либо компоненте, когда он отличается от другого ТОЛЬКО в этой компоненте. Например, соседние: 000 и 001 (по третьей компоненте), 101 и 111 (по второй компоненте).
Когда найдете все фиктивные переменные, то вычеркивайте столбцы с этими переменными, а так же, и строки, где эти компоненты принимают значение 1.
В итоге, у вас должна получиться более компактная табличка =).
Если все ясно на бумаге, то составить алгоритм сравнения по соседним наборам по каждой переменной, думаю, сообразите =).
Удачи!