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

Request of Solution Sets of Logic Equational Group By Applying the Relation of Logic Equation Solution Sets

给出了逻辑方程∏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.

The article gives some theories about the relations among solution sets of logic equations m↑∏↓i=1（Fi＋-Gi）=1 and logic equational group {F1=G1,… Fm=Gm The following conclusion is obtained： if solution set of m↑∏↓i=1（Fi＋-Gi）=1 and m↑∏↓i=1Fi-↑Gi=1 glg S1 , S2 separately, thus solution set of logic equational group {F1=G1,… Fm=Gm is S1-S2.