Methods for Decomposition of Conjunctive Formulas in Algebra of Finite Predicates

G. Chetverikov, I. Shubin, I. Sykal, I. Tabakova (Kharkiv National Univ. of Radio Electronics, Ukraine)

The development of conjunctive decomposition tools in algebra of finite predicates focused on building logical network models is the main topic of this article. The possibility of using such tools for the development of linguistic information processing systems determines the relevance of the chosen topic. The method of binary decomposition of functional predicates is founded, which differs from the general method of Cartesian decomposition in that the number of values of the auxiliary variable is minimized