Takaaki Mizuki, Hitoshi Tsubata and Takao Nishizeki

Aminimum 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.

Keywords: AND-EXOR expressions, ESOP forms, Minimization, Multiple-valued logic functions, Shannon expansion, Boolean matrices.