Алгоритм по таблице истинности

Фиктивная ⇔ На всех наборах фиксированных других переменных подозреваемая переменная не влияет на значение функции.

Существенная ⇔ На одном наборе зафиксированных других переменных подозреваемая переменная повлияла на значение функции.

Подробнее: при фиксированных всех других переменных возьмем 2 разных значения подозреваемой переменной. Значение функции не меняется => проверяем остальные фиксированные наборы. Если на всех фиксированных наборах значение подозреваемой переменной не влияет на значение функции, то переменная фиктивная. Если хоть на одном таком наборе она повлияла, то уже существенная.

Алгоритм по формуле

Если формулу можно преобразовать так, что эта переменная уйдёт, то она является фиктивной (переменная). Недостаток: иногда преобразования очень нетривиальны и можно ошибиться с выводами о фиктивности.