逻辑方程和逻辑方程组的解法  

The methods of finding the solutions to logical equation and logical equations

作　　者：王道林[1] 李洪银 

机构地区：[1]泰山学院信息科学技术系,山东泰安271021 [2]肥城市龙山中学,山东肥城271600

出　　处：《泰山学院学报》2007年第3期46-49,共4页Journal of Taishan University

摘　　要：首先给出了一类线性逻辑方程组的解法,然后通过主和取范式把F(x1,x2,…,xn)=1、F(x1,x2,…,xn)=0,F(x1,x2,…,xn)=G(x1,x2,…,xn)等类型的逻辑方程转化为线性逻辑方程组求解,最后给出了任意逻辑方程组的求解方法.First, the method to finding the solutions to one kind of linear logical equations was given. And then the logical equation such as F（x1,x2,…,xn） = 1,F（x1,x2,…,xn） = 0,F（x1,x2,…,xn） = G（x1,x2,…,xn）was changed into linear logical equations by principal conjunctive normal form. Finally, the method of finding the solutions to logical equations in any form was obtained.

关 键 词：逻辑方程 线性逻辑方程组 解集 主合取范式 极大项 

分 类 号：TP302.2[自动化与计算机技术—计算机系统结构]