论文部分内容阅读
将符号化计算树逻辑中的Shannon展开式做了推广，在n值Lukasiewicz逻辑系统Ln中，研究了由逻辑公式导出的n值McNaughton函数的展开式，给出了m元n值McNaughton函数的准析取范式和准合取范式．在此基础上，给出了m元n值McNaughton函数的计数问题，并在”值Lukasiewicz逻辑系统Lm中，给出了m元逻辑公式的构造方法及其逻辑等价类的计数问题．