-
题名线性逻辑方程组的解
被引量：6
- 1
-
-
作者
王道林
-
机构
泰山学院信息科学技术系 山东泰安
-
出处
《计算机工程与设计》
CSCD
北大核心
2008年第5期1195-1197,1225,共4页
-
基金
国家自然科学基金项目(60572113)
-
文摘
软件设计和硬件设计中经常遇见用逻辑方程或逻辑方程组表示的数学模型,讨论这类数学模型的求解问题是非常必要的。给出了=0,=1,=,=1(中不含逻辑非变量,中含逻辑非变量)等类型的线性逻辑方程组有解、有惟一解的充分必要条件,讨论了解的个数并给出了求解公式或解集表示式,阐明了任何形式的逻辑方程或逻辑方程组都可转化为线性逻辑方程组求解。采用置换矩阵和极大项两种方法,系统全面地解决了线性逻辑方程组、一般逻辑方程和一般逻辑方程组的求解问题。
-
关键词
线性逻辑方程组
系数矩阵
置换矩阵
主合取范式
极大项
-
Keywords
linear logical equations
coefficient matrix
permutation matrix
principal conjunctive normal form
maximum item
-
分类号
TP302.2
[自动化与计算机技术—计算机系统结构]
-
-
题名逻辑方程和逻辑方程组的解法
- 2
-
-
作者
王道林
李洪银
-
机构
泰山学院信息科学技术系
肥城市龙山中学
-
出处
《泰山学院学报》
2007年第3期46-49,共4页
-
文摘
首先给出了一类线性逻辑方程组的解法,然后通过主和取范式把F(x1,x2,…,xn)=1、F(x1,x2,…,xn)=0,F(x1,x2,…,xn)=G(x1,x2,…,xn)等类型的逻辑方程转化为线性逻辑方程组求解,最后给出了任意逻辑方程组的求解方法.
-
关键词
逻辑方程
线性逻辑方程组
解集
主合取范式
极大项
-
Keywords
logical equation
linear logical equations
solution sets
principle conjunctive normal form
maximum item
-
分类号
TP302.2
[自动化与计算机技术—计算机系统结构]
-
