Normal form of general logic mappings

Author

Cheng Daizhan ; Zhao Yin

Author_Institution

Key Lab. of Syst. & Control, Chinese Acad. of Sci., Beijing, China

fYear

2011

fDate

22-24 July 2011

Firstpage

6368

Lastpage

6373

Abstract

This paper considers the adequate sets and the normal forms of general logical mappings. First, the problems for k-valued logical functions and for mix-valued logical functions are considered. The adequate sets and the normal forms are obtained for both kinds of logical functions. The constructive algorithms are also provided. Then the general logical mappings are considered. Converting its structure matrix to the structure matrices of its component logical functions and vise versa are investigated and converting formulas are presented. Using the normal forms of logical functions plus the converting a logical mapping to its component functions, converting a general logical mapping into its normal form becomes obvious.

Keywords

formal logic; component logical function; constructive algorithm; general logic mapping; k-valued logical function; mix-valued logical function; Biological systems; Control design; Couplings; Equations; Mathematical model; Matrix converters; Adequate set; Algebraic expression of logic; Mix-valued logic; Normal form; k-valued logic;

fLanguage

English

Publisher

ieee

Conference_Titel

Control Conference (CCC), 2011 30th Chinese

Conference_Location

Yantai

ISSN

1934-1768

Print_ISBN

978-1-4577-0677-6

Electronic_ISBN

1934-1768

Type

conf

Filename

6000604