L3*中逻辑公式的范式表示及对称逻辑公式的构造方法

摘要：

将符号化计算树逻辑中Boole函数的Shannon展开式做了推广,研究了三值逻辑系统L3*中由公式导出的三值R0函数的展开式,给出了L3*中逻辑公式的准析取范式和准合取范式表示.研究了n元三值R0函数以及n元逻辑公式逻辑等价类的计数问题.在此基础上,给出了L3*中对称逻辑公式的构造方法.

关键词：Shannon展开式、三值R0函数、对称逻辑公式、范式表示、计数问题

所属期刊栏目：36

分类号：TP301(计算技术、计算机技术)

资助基金：国家自然科学基金11171200,61005046,61103133;教育部高等学校博士学科点专项科研资金20100202120012

在线出版日期：2013-07-01（万方平台首次上网日期，不代表论文的发表时间）

页数：共11页

页码：851-861