给出了逻辑方程m↑∏↓i=1（Fi＋-Gi）=1,m↑∏↓i=1Fi-↑Gi=1及逻辑方程组{F1=G1,… Fm=Gm的解集关系定理,得到了如下结论：若逻辑方程m↑......

给出了逻辑方程解集关系定理、将逻辑方程F=G化为0型或1型逻辑方程的方法以及相应的推论,并给予证明,得到：若F＋G=1和F G=1的解集分别......

给出了逻辑方程F=G、F+G=1、FG=1的解集关系定理和相应的推论及证明.得到了若逻辑方程F+G=1和FG=1的解集分别为S1、S2,则逻辑方程F......