欢迎您！东篱公司
退出
-
申报数据库
-
立项数据库
-
成果数据库
-
项目获奖数据库
中文摘要：
将符号化计算树逻辑中的Shannon展开式做了推广，在n值Lukasiewicz逻辑系统Ln中，研究了由逻辑公式导出的n值McNaughton函数的展开式，给出了m元n值McNaughton函数的准析取范式和准合取范式．在此基础上，给出了m元n值McNaughton函数的计数问题，并在”值Lukasiewicz逻辑系统Lm中，给出了m元逻辑公式的构造方法及其逻辑等价类的计数问题．
英文摘要：
The Shannon expansion in symbolic computation tree logic is generalized. In a n-valued Lukasiewicz logic system, Ln, the expansion of n-valued McNaughton functions which are induced by logical formulae is studied. The quasi disjunctive normal form and quasi conjunctive normal form of m-ary n-valued McNaughton functions, and the counting problems of m-ary n-valued McNaughton functions are given. In n-valued Lukasiewicz logic system Ln, the construction of formulae and counting problems of their logic equivalence class are provided.
同期刊论文项目
同项目期刊论文
A unified integrated method for evaluating goodness of propositions in several propositional logic s
期刊信息
位置：