论文部分内容阅读
为了使解非0型、非1型的逻辑方程F=G更加灵活、多样化。文章给出了逻辑方程F=G、F＋G=1、FU=1的解集关系定理，将逻辑方程F=G化为0型或1型逻辑方程的方法以及相应的推论，并给予证明。得到了若F＋G=1和FG=1的解集分别为S1,S2，则F=G的解集为S1-S2，若F＋G=0和F＋G=0的解集分别为S3、S4，则F=G的解集为S3＋S4，以及若F,G=1和F．G=1的解集分别为S′3，S′4，则F=G的解集S′3＋S′4为的结论,从而可应用结论解非0型、非1型和某些有关的逻辑方程。