几种逻辑方程的解集关系研究

Study on Some Kinds of the Relations Between Solution Sets of Logic Equations

给出了逻辑方程F=GF、+G=1、FG=1的解集关系定理和相应的推论及证明。得到了若逻辑方程F+G=1和FG=1的解集分别为S1、S2,则逻辑方程F=G的解集为S1-S2的结论。从而可应用结论解非0型、非1型和某些有关的逻辑方程。

In order to make the solution of non-zero type and non-one type logic equation F=G varied and easy, this topic gives some theories about the relations among solution sets of logic equationsF=G ,F＋G=1 ,FG=1 and corresponding consequences, and gives their proofs. Get the following conclusion： If solution set of F＋G=1 and FG=1are S1 ,S2separately, thus solution set of F=G is S1-S2.So we can apply this conclusion to solute non-zero type, non-one type and other related logic equations etc.