一类逻辑方程组的解法研究

为了使解由非0非1型逻辑方程构成的逻辑方程组灵活多样化,给出了逻辑方程组成立的充要条件,化逻辑方程组为0型或1型逻辑方程的方法,并给予证明,得到了若两个0型逻辑方程的解集分别为X1、X2,则逻辑方程组的解集为X1＋X2;若两个1型逻辑方程的解集分别为X3、X4,则逻辑方程组的解集为X3＋X4的结论,从而可应用结论解非0非1型逻辑方程构成的逻辑方程组.

Study on the solution of logic equational group

In order to solve the flexibility and diversity of the logic equation set constituted by non-zero type and nonone type logic equations, the sufficient and necessary condition for the logic equation set is established, and a method of converting the logic equation set into zero-type or one-type logic equations is given, and obtained that if the solution of two zero-type logic equations respectively is X1, X2, the solution of the logic equation set is X1 +X2;if the solution of two one-type logic equations respectively is X3, X4, the solution of the logic equation set is X3 +X4. So,we can solve the logic equation set constituted by non-zero type and non-one type logic equations by this conclusion.