Minimizing AND-EXOR expressions for multiple-valued two-input logic functions

Takaaki Mizuki; Hitoshi Tsubata; Takao Nishizeki

doi:10.1007/978-3-642-02017-9_33

Minimizing AND-EXOR expressions for multiple-valued two-input logic functions

Takaaki Mizuki, Hitoshi Tsubata, Takao Nishizeki

Research and Development Divisions

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Abstract

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

Original language	English
Title of host publication	Theory and Applications of Models of Computation - 6th Annual Conference, TAMC 2009, Proceedings
Pages	301-310
Number of pages	10
DOIs	https://doi.org/10.1007/978-3-642-02017-9_33
Publication status	Published - 2009 Jul 16
Event	6th Annual Conference on Theory and Applications of Models of Computation, TAMC 2009 - Changsha, China Duration: 2009 May 18 → 2009 May 22

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	5532 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Other

Other	6th Annual Conference on Theory and Applications of Models of Computation, TAMC 2009
Country	China
City	Changsha
Period	09/5/18 → 09/5/22

ASJC Scopus subject areas

Theoretical Computer Science
Computer Science(all)

Access to Document

10.1007/978-3-642-02017-9_33

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

Cite this

Mizuki, T., Tsubata, H., & Nishizeki, T. (2009). Minimizing AND-EXOR expressions for multiple-valued two-input logic functions. In Theory and Applications of Models of Computation - 6th Annual Conference, TAMC 2009, Proceedings (pp. 301-310). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 5532 LNCS). https://doi.org/10.1007/978-3-642-02017-9_33

Minimizing AND-EXOR expressions for multiple-valued two-input logic functions. / Mizuki, Takaaki; Tsubata, Hitoshi; Nishizeki, Takao.

Theory and Applications of Models of Computation - 6th Annual Conference, TAMC 2009, Proceedings. 2009. p. 301-310 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 5532 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Mizuki, T, Tsubata, H & Nishizeki, T 2009, Minimizing AND-EXOR expressions for multiple-valued two-input logic functions. in Theory and Applications of Models of Computation - 6th Annual Conference, TAMC 2009, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 5532 LNCS, pp. 301-310, 6th Annual Conference on Theory and Applications of Models of Computation, TAMC 2009, Changsha, China, 09/5/18. https://doi.org/10.1007/978-3-642-02017-9_33

Mizuki T, Tsubata H, Nishizeki T. Minimizing AND-EXOR expressions for multiple-valued two-input logic functions. In Theory and Applications of Models of Computation - 6th Annual Conference, TAMC 2009, Proceedings. 2009. p. 301-310. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). https://doi.org/10.1007/978-3-642-02017-9_33

Mizuki, Takaaki ; Tsubata, Hitoshi ; Nishizeki, Takao. / Minimizing AND-EXOR expressions for multiple-valued two-input logic functions. Theory and Applications of Models of Computation - 6th Annual Conference, TAMC 2009, Proceedings. 2009. pp. 301-310 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{4572833d58f84eaa85bfb99100c5ae28,

title = "Minimizing AND-EXOR expressions for multiple-valued two-input logic functions",

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

author = "Takaaki Mizuki and Hitoshi Tsubata and Takao Nishizeki",

year = "2009",

month = jul,

day = "16",

doi = "10.1007/978-3-642-02017-9_33",

language = "English",

isbn = "9783642020162",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

pages = "301--310",

booktitle = "Theory and Applications of Models of Computation - 6th Annual Conference, TAMC 2009, Proceedings",

note = "6th Annual Conference on Theory and Applications of Models of Computation, TAMC 2009 ; Conference date: 18-05-2009 Through 22-05-2009",

}

TY - GEN

T1 - Minimizing AND-EXOR expressions for multiple-valued two-input logic functions

AU - Mizuki, Takaaki

AU - Tsubata, Hitoshi

AU - Nishizeki, Takao

PY - 2009/7/16

Y1 - 2009/7/16

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

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

UR - http://www.scopus.com/inward/record.url?scp=67650227263&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=67650227263&partnerID=8YFLogxK

U2 - 10.1007/978-3-642-02017-9_33

DO - 10.1007/978-3-642-02017-9_33

M3 - Conference contribution

AN - SCOPUS:67650227263

SN - 9783642020162

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 301

EP - 310

BT - Theory and Applications of Models of Computation - 6th Annual Conference, TAMC 2009, Proceedings

T2 - 6th Annual Conference on Theory and Applications of Models of Computation, TAMC 2009

Y2 - 18 May 2009 through 22 May 2009

ER -