Minimizing AND-EXOR Expressions for Two-Variable Multiple-Valued Input Binary Output Functions

摘要

A minimum ESOP (Exclusive-OR Sum-of-Products) form of a binary output function f is an AND-EXOR 2-level expression of f having the minimum number of product terms. In the paper we deal with 2-variable multiple-valued input binary output functions f, and give an algorithm to find a minimum ESOP form of a given function f in polynomial time.