Рассмотрен алгоритм сжатия области определения логических функций, позволяющий представить их в форме обобщенных функций (ОФ) с зависимыми параметрами, отличительной черной которых является то, что значение их в тнчке области определения равно не только значению 0 и 1, но и любой из функций от других переменных.