Синтез моделі підсистеми пошуку стежок доступу до унітермів xml-формул алгоритмів

Синтезовано абстрактний алгоритм і його модель для віднаходження стежок доступу до унітермів, описаних спеціалізованим xml-форматом формул алгоритмів.

Synthesized abstract algorithm and model for finding paths access to uniterms of described specialized xml - format formulae of algorithms

Minimization of logic functions system by konjuncterms parallel splitting method

A new heuristic minimization method of logic functions of n variables has been suggested. It is based on the parallel splitting of conjuncterms and differs from the known methods for it is simpler in implementation due to less computational complexity.