非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型及相关的逻辑方程.

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

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

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

给出了逻辑方程组成立的充要条件和化逻辑方程组为0型或1型逻辑方程的方法，证明了若两个0型逻辑方程的解集分别为S1，S2，则对应的逻辑方程组的解集为S1＋S2；若两个1型逻辑方程的解集分别为S3，S4，则对应的逻辑方程组的解集为S3＋S4，从而可应用此结论解非0非1型逻辑方程构成的逻辑方程组。

逻辑方程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型和某些有关的逻辑方程。

逻辑方程F=G解法的探讨

为了使解非0型、非1型的逻辑方程F=G更加灵活、多样化,给出了F=G成立的充要条件,将逻辑方程F=G化为0型或1型逻辑方程的方法和相应的推论,并给予证明.得到了若F+G=0和F+G=0的解集分别为S1,S2,则F=G的解集为S1+S2、以及若F?G=1和F?G=1的解集分别为S'1,S'2,则F=G的解集为S1'+S'2的结论.从而可应用结论解非0型、非1型的逻辑方程.

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

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

一类逻辑方程组的解法研究(英文)

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