1. Science
  2. Publications
  3. Information Processing Systems
  4. 3(101)'2012
  5. Methods for variables elimination from predicates represented by finite predicates algebra formulae

Methods for variables elimination from predicates represented by finite predicates algebra formulae

M.F. Bondarenko, S.Yu. Shabanov-Kushnarenko, D.E. Sytnikov, P.E. Sytnikova
Annotations languages:

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.
Keywords: substitution operation, exception of the variables, split predicate