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

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

非0非1型逻辑方程与相关逻辑方程的解集关系及其应用（英文）

给出了逻辑方程解集关系定理、将逻辑方程F=G化为0型或1型逻辑方程的方法以及相应的推论,并给予证明,得到:若F+G=1和F G=1的解集分别为S1、S2,则F=G的解集为S1-S2;若F+G=0和F+G=0的解集分别为S3、S4,则F=G的解集为S3∪S4;若F·G=1和F·G=1的解集分别为S5、S6,则F=G的解集为S5∪S6;同时亦得到{F=1F=0:若逻辑方程组、的解集分别为X1、X2,则逻辑方程F=G的解集为X1∪X2,应G=1{G=0用此结论可解非0型、非1型及相关的逻辑方程.

用逻辑方程解集关系求逻辑方程组的解集

给出了逻辑方程∏from i=1 to m (Fi+■)=1,∏from i=1 to m Fi■=1及逻辑方程组F1=G1,┇Fm=Gm的解集关系定理,得到了如下结论:若逻辑方程∏from i=1 to m (Fi+■)=1和∏from i=1 to m Fi■=1解集分别为S1和S2,则逻辑方程组F1=G1,┇Fm=Gm的解集为S1-S2.

逻辑方程F=G的解集研究及其应用

为了使解非0型、非1型的逻辑方程F=G更加灵活、多样化。文章给出了逻辑方程F=G、F+G-=1、FG-=1的解集关系定理,将逻辑方程F=G化为0型或1型逻辑方程的方法以及相应的推论,并给予证明。得到了若F+G-=1和FG-=1的解集分别为S1、S2,则F=G的解集为S1-S2,若F+G=0和F-+G-=0的解集分别为S3、S4,则F=G的解集为S3+S4,以及若F.G=1和F.-G-=1的解集分别为S3′、S4′,则F=G的解集S3′+S4′为的结论.从而可应用结论解非0型、非1型和某些有关的逻辑方程。