The general method of variables exception is described. Methods of variables exception from the predicates presented in the form of conjunctive and disjunctive normal forms are developed. The concept of the split equations is entered. The method of variables exception from the split equations and step-by-step algorithm of its realization is developed.
substitution operation, exception of the variables, split predicate
"Metodы yskliuchenyia peremennыkh yz predykatov, predstavlennыkh razlychnыmy formulamy alhebrы konechnыkh predykatov" ,
Information Processing Systems,