Title :
Axioms-based CNFs and DNFs constructed by n-variable-m-dimensional fundamental clauses and phrases
Author :
Kandel, Abraham ; Zhang, Yan-Qing
Author_Institution :
Dept. of Comput. Sci. & Eng., Univ. of South Florida, Tampa, FL, USA
Abstract :
In this paper, the relationship between the existing axioms and the corresponding CNF and DNF based on the n-variable-m-dimensional fundamental clauses and phrases is discussed. The AND (OR) map is the general framework of the fuzzy map and the Karnaugh map without losing any primary combined concepts. In addition, the general algorithm to make the n-variable-m-dimensional CNF (DNF) from a DNF (CNF) is given
Keywords :
Boolean functions; fuzzy logic; fuzzy set theory; AND (OR) map; Boolean CNF; Boolean DNF; Karnaugh map; axioms based CNF; axioms based DNF; clauses; conjunctive normal form; disjunctive normal form; fuzzy logic; fuzzy map; phrases; Computer science; Fuzzy logic; Fuzzy sets; Information analysis; USA Councils;
Conference_Titel :
Fuzzy Information Processing Society, 1996. NAFIPS., 1996 Biennial Conference of the North American
Conference_Location :
Berkeley, CA
Print_ISBN :
0-7803-3225-3
DOI :
10.1109/NAFIPS.1996.534700
