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