论文部分内容阅读
给出了逻辑方程m↑∏↓i=1(Fi+-Gi)=1,m↑∏↓i=1Fi-↑Gi=1及逻辑方程组{F1=G1,… Fm=Gm的解集关系定理,得到了如下结论:若逻辑方程m↑∏↓i=1(Fi+-Gi)=1和m↑∏↓i=1Fi-↑Gi=1解集分别为S1和S2,则逻辑方程组{F1=G1,… Fm=Gm的解集为S1-S2.