命题逻辑中的数字表示

摘要：

讨论了命题逻辑中的数字表示,给出了一系列重要结论,并通过实例说明了基于整数运算的求命题公式主范式和进行逻辑推理的方法.它为计算机处理命题逻辑提供了一种有效的途径.

关键词：命题逻辑、主析取范式、主合取范式

所属期刊栏目：20

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

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

页数：共3页

页码：46-48