Процедура удаления (введения) фиктивных переменных

Пусть переменная для функции – фиктивная.

Две функции и от разного количества переменных равны, если одна получается из другой путем удаления или введения фиктивных переменных.

Пример. Функция задана таблицей 1.2. Определить фиктивные переменные функции.

Решение. Убеждаемся, сначала в том, что переменная функции является фиктивной. Удаляя ее, получим функцию (табл. 1.3). Переменная также является фиктивной. В итоге получаем (табл. 1.4).

Благодаря введенному понятию конечную совокупность булевых функций можно считать зависящей от одного и того же числа переменных, являющегося объединением множеств переменных всех функций совокупности.