0-1型与非0非1型逻辑方程构成的逻辑方程组的解法

为了使解逻辑方程组灵活、方便、多样化,文章给出了由0-1型与非0非1型逻辑方程构成的逻辑方程组成立的充要条件、化逻辑方程组为0型或1型逻辑方程的方法,得到了若两个0型逻辑方程的解集分别为S1、S2,则逻辑方程组的解集为S1＋S2;若两个1型逻辑方程的解集分别为S3、S4,则逻辑方程组的解集为S3＋S4的结论。从而可应用结论解由0-1型与非0非1型逻辑方程构成的逻辑方程组。

The Solution to the Logic Equational Group Made up of Zero-one Type and Non-zero Type and Non-one Type Logic Equations

For the varied and easy solution to the logic equational group, this paper gives the necessary condition to establish the logic equational group made up of zero--one type and non--zero type and non--one type logic equations, and also gives the method to change the logic equational group into zero type and one type logic equations. It makes the following conclusion： If the solutions to the logic equational ^l∑i=1Hi＋^m∑j=1^-Qj＋^p∑k=1（Fk＋Gk）=0 and ^l∑i=1Hi＋^m∑j=1^-Qj＋^p∑k=1（^-Fk＋^-Gk）are S1 ,S2 separately, the solution set of the logic equational group is S1＋S2 ; If the solutions to the logic equational ^l∏i=1^-Hi·^m∏j=1Qj·^p∏k=1（FkGk）=1 and ^l∏i=1^-Hi·^m∏j=1Qj·^p∏k=1（^-Fk^-Gk）=1 are S3 ,S4 separately, the solution set of the logic equational group is S3＋S4.We can apply the conclusions to solute the logic equational group made up of zero - one type and non--zero type and non--one type logic equations.