%0 Journal Article
%T 多值？ukasiewicz逻辑公式的范式表示和计数问题
%A 王庆平？
%A 王国俊？
%J 软件学报
%P 433-453
%D 2013
%R 10.3724/SP.J.1001.2013.04231
%X 将符号化计算树逻辑中的shannon展开式做了推广,在n值？ukasiewicz逻辑系统？n中,研究了由逻辑公式导出的n值mcnaughton函数的展开式,给出了m元n值mcnaughton函数的准析取范式和准合取范式.在此基础上,给出了m元n值mcnaughton函数的计数问题,并在n值？ukasiewicz逻辑系统？n中,给出了m元逻辑公式的构造方法及其逻辑等价类的计数问题.
%K shannon展开式
%K n值mcnaughton函数
%K 准析(合)取范式
%K 逻辑等价类
%K 计数问题
%U http://www.jos.org.cn/ch/reader/view_abstract.aspx?file_no=4231&flag=1