A study on constructing the multiple-valued logic switching functions using the IATP

Author

Park, Chun-Myoung

Author_Institution

Dept. of Comput. Eng., Chung-Ju Nat. Univ., Chung-Ju, South Korea

Volume

2

fYear

1999

fDate

36495

Firstpage

1022

Abstract

This paper presents a method of constructing the Multiple-Valued Logic Switching Functions (MVLSF) using the Improved Automatic Theorem Proving (IATP) techniques. The proposed method is as follows. First of all, we discuss the concepts of the automatic theorem proving (ATP) techniques including the syntactic and semantic property. We discuss several definitions of the IATP, that is the table pseudo functions Tab and Equal. Next, we propose the T-gate as a Building Block (BB) and describe the mathematical representation for the notation of T-gate. Then we discuss the important properties for the T-gate. Also, we propose several relationships: identity, constant, tautology and mod R cyclic relationship. Then we propose mod R negation relationship and the manipulation of don´t care conditions. Finally, we propose the algorithm for constructing the method of multiple-valued logic switching functions

Keywords

logic design; multivalued logic circuits; switching functions; theorem proving; IATP; T-gate; constant relationship; don´t care conditions; identity; improved automatic theorem proving; mod R cyclic; mod R negation relationship; multiple-valued logic switching functions; semantic property; syntactic property; table pseudo function; tautology; Artificial intelligence; Automatic logic units; Design methodology; Input variables; Logic design;

fLanguage

English

Publisher

ieee

Conference_Titel

TENCON 99. Proceedings of the IEEE Region 10 Conference

Conference_Location

Cheju Island

Print_ISBN

0-7803-5739-6

Type

conf

DOI

10.1109/TENCON.1999.818595

Filename

818595