Minimization of Multiple-Valued Functions in Post Algebra
Elena Dubrova, Yunjian W. Jiang, Robert K. Brayton · 2002
The relation between minimum sum-of-products expressions for multiple-valued input, binary-valued output functions and minimum sum-of-products expressions in Post algebra for multiple-valued input, multiple-valued output functions is made precise. We give an algorithm for minimizing Post expressions and discuss a method for their factorization. Experiments are given to demonstrate the effectiveness of the algorithm.