带约束项的逻辑函数化简 || 数电
前面讨论的逻辑函数都是完全确定的。即对于每一组确定的输入,该函数都有唯一确定的输出。
在某些实际数字电路中,逻辑函数的输出之和一部分最小项有确定对应关系,而和余下的最小项无瓜。我们把这些余下的最小项称为无关项。(无关项:我可0可1)
包含无关项的逻辑函数称为不完全确定的逻辑函数。
上述电路的真值表如下,
我们可以看出,1010~1111这6个码的对应函数值F的位置,被打了×。这意味着这些最小项是无关项。
下面大括号里的式子
同样表示这些最小项是无关项(表示的并非是这个式子的字面意思)。
其中,上式左边的∑