Axioms-based CNFs and DNFs constructed by n-variable-m-dimensional fundamental clauses and phrases

摘要

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.