1. Замена переменных.

Пусть f(x₁, x₂, ... , x_n) - заданная функция алгебры логики. Будем говорить, что функция (y₁, y₂, ... , y_n) получена операцией замены переменных из функции f(x₁, x₂, ... , x_n), если осуществлена подстановка переменных

,

то есть вместо каждого вхождения переменой x₁ подставляется переменная y₁, вместо каждого вхождения переменой x₂ подставляется переменная y₂ , ... , вместо каждого вхождения переменой x_n подставляется переменная y_n , при этом y_i не обязана отличаться от y_k при ik . Очевидно, что замена переменных включает в себя переименование переменных, перестановку переменных и отождествление переменных.

Пример. Пусть имеется функция . Тогда при замене переменных из функции можно получить функцию .