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

1. Алгоритм по таблице истинности. 14 Для переменной x1 сравниваются половины столбца значений функции: верхняя и нижняя. 14 Если они совпадают, то переменная x1 фиктивна. 14 Для переменной x2 сравниваются четвертины столбца в каждой половине. 14 Если четвертины в каждой половине совпадают, то переменная x2 фиктивна. 14 И так далее (за четвертинами следуют 1/8, 1/16, …). 14
2. Алгоритм по матрице Грея. 1 Основан на свойстве симметрии кода Грея. 1 Переменная фиктивна тогда и только тогда, когда точки на матрице расположены симметрично относительно осей этой переменной. 1 Упрощённая матрица — это одна из её симметричных половин. 1
3. Правило для таблично заданной функции алгебры логики. 3 Отдельно выписываются подмножества f(x)=l и f(x)=0. 3 Для проверки фиктивности переменной xi вычёркиваются её столбцы. 3 Если при этом в обоих подмножествах не появились одинаковые наборы, значит xi несущественна (фиктивна). 3