Dav*_*ave 7 logic computer-science equivalence
我很确定我能记得在我的大学水平课程中做过类似的事情并且有一些公式,但是我的思绪让我失望了.
鉴于声明:(a OR b OR d)AND(a OR c)
我很确定这可以简化为:(OR OR b OR d或c)
但我不记得我会如何证明这一点.
也许这是一系列逻辑表？
Ant*_*ima 10
你不能将"(或OR b或d)和(a OR c)"减少为"(a OR b OR d OR c)"因为前者不满意"c = true,a,b,d = false"而后者则是.所以你不能证明减少正确:)
通常,有许多方法可以减小布尔公式的大小,这也是您想要优化的问题(总大小？条件评估的平均数量？).卡诺图仅适用于少量变量.将大布尔公式简化为较小的布尔公式是一个高级主题,这是自动逻辑电路设计的关键.