Какие существуют методы распознавания фиктивных переменных в логических функциях?

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

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