Minimizing AND-EXOR expressions for two-variable multiple-valued input binary output functions

Takaaki Mizuki, Hitoshi Tsubata, Takao Nishizeki

Research output: Contribution to journalArticle

3 Citations (Scopus)

Abstract

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.

Original languageEnglish
Pages (from-to)197-208
Number of pages12
JournalJournal of Multiple-Valued Logic and Soft Computing
Volume16
Issue number1-2
Publication statusPublished - 2010 Jan 8

Keywords

  • AND-EXOR expressions
  • Boolean matrices
  • ESOP forms
  • Minimization
  • Multiple-valued logic functions
  • Shannon expansion

ASJC Scopus subject areas

  • Software
  • Theoretical Computer Science
  • Logic

Fingerprint Dive into the research topics of 'Minimizing AND-EXOR expressions for two-variable multiple-valued input binary output functions'. Together they form a unique fingerprint.

  • Cite this