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