Abstract:
Problem of realization of Boolean functions using the formulas of special kind is considered in this paper. Notion of completion of the systems of Boolean functions is introduced. Criteria of decomposability of the completions to the intersection of simpler completions is obtained.