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）。
注：这个我是用逻辑代数的知识做的，希望有所帮助