Analysis of the implementability of descriptions with functional indeterminacy based on the verification of conjunctive normal form satisfiability
D. Ya. Novikov, Liudmila D. Cheremisinova · Automatic Control and Computer Sciences · 2011
We consider the problem of the verification of the implementability of a system of partially specified Boolean functions by a multiblock structure in which each block is also determined by a system of partially specified Boolean functions. A method for the solution of the problem by reducing it to the problem of the verification of the satisfiability of a conjunctive normal form that is the union of two the permissible conjunctive normal form of the multiblock structure with the prohibitive conjunctive normal form of the system of partially specified Boolean functions is proposed. Implicative methods for the construction of resolution conjunctive normal forms of multiblock structures with functional indeterminacy are proposed and studied.