关于数字逻辑的一个问题!我在一本数字逻辑书上看见这样一个题,不明白为什么有这样的结果,已知：三变量函数F(A,B,C)=∑(0,3,5,6).若把函数F改写为：F(A,B,C)=m3+∑(0,5,6),可知∑(0,5,6)是不包含m3

Question

关于数字逻辑的一个问题!
我在一本数字逻辑书上看见这样一个题,不明白为什么有这样的结果,
已知：三变量函数F(A,B,C)=∑(0,3,5,6).
若把函数F改写为：F(A,B,C)=m3 + ∑(0,5,6),可知
∑(0,5,6)是不包含m3 的F,即 ∑(0,5,6)=F●（/m3）（注：/m3表示最小项m3的非）.
请问 ∑(0,5,6)=F●（/m3）为什么成立?

Answer 1

∑(0,5,6)=F●（/m3）两边同时加上m3,可得∑(0,3,5,6)=F●（/m3）+m3；
F●（/m3）+m3=（F+m3）●（/m3+m3）=F+m3=F.
可得∑(0,5,6)=F●（/m3）.
注：这个我是用逻辑代数的知识做的,希望有所帮助