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

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

首先给出了一类线性逻辑方程组的解法,然后通过主和取范式把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.