Minimizing ESCT forms for two-variable multiple-valued input binary output functions

作者：Mizuki Takaaki^*; Mikami Daizo; Sone Hideaki

来源：Discrete Applied Mathematics, 2014, 169: 186-194.

DOI：10.1016/j.dam.2013.12.023

• AND-EXOR expression
• Minimization
• Multiple-valued logic function
• Boolean matrix

As ExOR (Exclusive-OR) expansions of binary output functions, the ESOP (EXOR Sum of Products) form and its extension, the ESCT (EXOR Sum of Complex Terms) form, have been studied extensively in the literature. An efficient algorithm for minimizing ESOP forms is known for two-variable multiple-valued input functions. On the other hand, no ESCT minimization algorithm is known for such functions. In this paper, we give an efficient algorithm for minimizing ESCT forms of two-variable multiple-valued input functions, showing that the number of terms can be reduced by at most one.

• 出版日期2014-5-31