摘 要: | 给出了逻辑方程解集关系定理、将逻辑方程F=G化为0型或1型逻辑方程的方法以及相应的推论,并给予证明,得到:若F+G〖TX-〗=1和FG〖TX-〗=1的解集分别为S1、S2,则F=G的解集为S1-S2;若F+G=0和F〖TX-〗+G〖TX-〗=0的解集分别为S3、S4,则F=G的解集为S3∪S4;若F·G=1和F〖TX-〗·G〖TX-〗=1的解集分别为S5、S6,则F=G的解集为S5∪S6;同时亦得到:若逻辑方程组〖JB({〗F=1G=1〖JB)〗 、〖JB({〗F=0G=0〖JB)〗 的解集分别为X1、X2,则逻辑方程F=G的解集为X1∪X2,应用此结论可解非0型、非1型及相关的逻辑方程.
|