Чтобы определить, является ли переменная фиктивной в булевой функции, можно использовать следующий алгоритм: 1

1. Сравнить половины столбца значений функции. 1 Для переменной x1 сравниваются верхняя и нижняя половины столбца, так как в верхней половине x1=0, а в нижней x1=1. 1 Если они совпадают, то переменная x1 фиктивная. 1
2. Сравнить четвертины столбца в каждой половине. 1 Для переменной x2 сравниваются четвертины столбца в каждой половине, так как в верхних четвертинах x2=0, а в нижних x2=1. 1 Если четвертины в каждой половине совпадают, то переменная x2 фиктивная. 1
3. Использовать достаточное условие отсутствия фиктивных переменных. 1 Если вес вектора-столбца значений функции нечётен, то функция не может содержать фиктивных переменных. 1

Ещё один способ определить фиктивность переменной — использовать матрицу Грея. 1 Переменная фиктивна тогда и только тогда, когда точки на матрице расположены симметрично относительно осей этой переменной. 1

Также переменную называют фиктивной, если она не является существенной. 2 Это означает, что изменение значения переменной не изменяет значения функции, поэтому её можно исключить из числа аргументов. 5