Joint Decomposition of Boolean Functions on the Basis of a Solution of Logic Equations

摘要

It is proposed that the apparatus of logic equations be used to achieve an exact solution of the problem of joint decomposition of a system of Boolean functions with respect to a two-block partitioning of the set of arguments.