| 线性逻辑方程组的解 |
| |
| 引用本文： | 王道林.线性逻辑方程组的解[J].计算机工程与设计,2008,29(5):1195-1198. |
| |
| 作者姓名： | 王道林 |
| |
| 作者单位： | 泰山学院,信息科学技术系,山东,泰安,271021 |
| |
| 摘 要： | 软件设计和硬件设计中经常遇见用逻辑方程或逻辑方程组表示的数学模型,讨论这类数学模型的求解问题是非常必要的.给出了AX=0,AX=1,AX=B,AY=1(X中不含逻辑非变量,Y中含逻辑非变量)等类型的线性逻辑方程组有解,有惟一解的充分必要条件,讨论了解的个数并给出了求解公式或解集表示式,阐明了任何形式的逻辑方程或逻辑方程组都可转化为线性逻辑方程组求解,采用置换矩阵和极大项两种方法,系统全面地解决了线性逻辑方程组、一般逻辑方程和一般逻辑方程组的求解问题.
|
| 关 键 词： | 线性逻辑方程组 系数矩阵 置换矩阵 主合取范式 极大项 |
| 文章编号： | 1000-7024(2008)05-1195-03 |
| 修稿时间： | 2007年3月19日 |
Solutions of linear logical equations |
| |
| WANG Dao-lin.Solutions of linear logical equations[J].Computer Engineering and Design,2008,29(5):1195-1198. |
| |
| Authors: | WANG Dao-lin |
| |
| Affiliation: | WANG Dao-lin(Department of Information Science , Technology,Taishan College,Tai'an 271021,China) |
| |
| Abstract: | The mathematical model represented by logical equation or logical equations is often used in the software and hardware design.It is necessary to discuss solutions for the mathematical models.The necessary and sufficient condition for linear logical equation such as = 0,= 1,=,= 1(logic negation variables are not included in but in) having solutions and having unique solution are obtained.The number of the solutions is discussed and the formula for solutions or expression of solution sets is given.The conclus... |
| |
| Keywords: | linear logical equations coefficient matrix permutation matrix principal conjunctive normal form maximum item |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
