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

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