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

The Normal Form of Logic Formulae and Construction Method of Symmetrical Logic Formulae in L3

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

Shannon expansion of Boole function in symbolic computation tree logic is generalized. In three-valued logic system L3＊, the expansions of symmetric three-valued R0 function which are induced by logical formulae are studied, and the quasi disjunctive normal form and quasi conjunc- tive normal form of logical formulae are given. The counting problems of n-ary three-valued R0 functions and n-ary logical formulae are studied. Then the construction method of symmetrical logic formulae in L3＊ is given.