Лекция п Булевы функции. Существенная и фиктивная переменная

6.2. Эквивалентность формул.
Поскольку функция рассматривается с точностью до фиктивных переменных, мы считаем, что формула A реализует и любую функцию, равную f. Если функция , реализуемая формулой , имеет несущественную переменную x_i, то при n>1 переменную x_i можно удалить, заменив функцию f равной ей функцией , а формулу A – формулой , получающейся из A в результате отождествления переменной x_i с любой из оставшихся переменных. Очевидно, что является формулой над  и реализует функцию .