Exact ESOP expressions for incompletely specified functions

In this paper, a method for finding an exact ESOP expression for an incompletely specified arbitrary boolean function of up to six input variables is proposed. To achieve this, the weight of all 5-variable functions, has been tabulated in a compressed table, which is used extensively in our approach and speeds-up computation time. To the best of our knowledge, this is the first paper dealing with exact solutions of incompletely specified functions.

► Incompletely specified, arbitrary functions of up to six input variables.
► Exact ESOP minimization algorithm.
► Function weight tabulation method.