论文部分内容阅读
为了使解非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的解集为S＇1＋S＇2的结论．从而可应用结论解非0型、非1型的逻辑方程．