【摘要】 首先给出了一类线性逻辑方程组的解法,然后通过主和取范式把F(x1,x2,…,xn)=1、F(x1,x2,…,xn)=0,F(x1,x2,…,xn)=G(x1,x2,…,xn)等类型的逻辑方程转化为线性逻辑方程组求解,最后给出了任意逻辑方程组的求解方法.更多还原

【Abstract】 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.更多还原