Sitnik L. Methods of multiple-valued reversible non-uniform modules logic synthesis and their application in an artificial intellect systems

In dissertational work the problem of multiple-valued re-versible non-uniform logic elements synthesis structural me-thods working out on the basis of the logic equations decision hardware-software means for construction of multiple-valued logic elements of the direct and return action is solved. On the basis of the logic equations disjunctive and conjunctive systems decision methods the mathematical apparatus of the decision of the logic equations is developed by matrix methods and its graf-analytical interpretation is given. The matrix method of the predicate equations decision which comprises a cognizance on new Boolean variable predicate replacement and the logic determinants con-struction which are set in the form of a logic algebra func-tions disjunctive normal form is developed. The algebra-logic method of multiple-valued reversible non-uniform logic elements and modules synthesis which comprises updating of the validity tables and intermediate variables introduction is developed. The method of relational networks construction which, unlike an existing method, allows to build the directed schemes of relational networks which separately solve analysis and synthesis problems is developed. The method of elements amount reduction in the relational network knots, based on a method of the automat inwardnesses amount reduction is improved. The method simplifies of the relational network calculation algorithm.