关于数字逻辑的一个问题!我在一本数字逻辑书上看见这样一个题,不明白为什么有这样的结果,已知:三变量函数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)为什么成立?

问题描述:

关于数字逻辑的一个问题!
我在一本数字逻辑书上看见这样一个题,不明白为什么有这样的结果,
已知:三变量函数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)为什么成立?

∑(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).
注:这个我是用逻辑代数的知识做的,希望有所帮助