Document Type


Publication Date



Binary control systems, Logic circuits -- Design and construction, Decomposition (Mathematics)


Encoding in Curtis-style decompositions is the process of assigning codes to groups of compatible columns (or cubes) so that the binary logic descriptions of the predecessor and successor sub-functions can be created for further decomposition. In doing so, the sub-functions created are functionally equivalent to the set of care values specified in the original function. In this paper an input/output encoding algorithm DC_ENC is presented that is designed to achieve the simplest total complexity of the predecessor and successor sub-functions, and to increase the total number of don't cares for their further utilization in subsequent decomposition steps of these sub-functions.


Originally presented at the 3rd International Workshop on Boolean Problems, held at Freiberg University of Mining and Technology, Institute of Computer Science, September 17-18, 1998, and subsequently included in its proceedings.

Persistent Identifier