A conjunctive canonical expansion of multiple-valued functions
Elena Dubrova, Petra Färm · 2003
A generalization of McMillan's conjunctive expansion of Boolean functions to the case of multiple-valued input binary-valued output functions is presented. It is based on the operation of generalized cofactor, defined by employing a new distance measure on truth assignments, called m-valued weighted distance. Using our result, Boolean multiple-output functions can be expanded directly by treating the output part as a single multiple-valued variable. Such an approach might allow a better utilization of the common subparts for different outputs compared to the output-by-output Boolean expansion.