简言之，我想知道，给定两个命题公式，是否有一种标准方法可以找到与这两个公式输出相同的最短运算序列。例如，如果我们有以下公式：
和
我们可以通过引入一个新提议来减少运营数量：
然后Q变成：
这将操作数（一元和二进制）从19减少到14。Q的新逻辑电路是：
理想情况下，我希望只有否定和析取。有没有把任何命题转换成我理想的简化命题的算法？有没有一个算法来引入像上面这样的新命题？
最佳答案
经过50年的研究，目前还没有一种多层次逻辑综合的标准方法。两级病例可采用Karnaugh maps或Quine McCluskey方法妥善处理。在这里，minterm的数量被最小化。但这并不直接对应于确定函数值所需的逻辑操作数。
加州大学伯克利分校开发了几个tools来生成启发式解决方案其中一些工具很好地打包在Logic Friday 1中。
函数q的输入：
进入：
q：=（a&（（b&c）+（b'&c'））+（a'&（（b&c）+（b'&c'））））；
最小化：
Q:=AB C+A‘B’C+A‘B C’+A B‘C’；
“映射到门”操作后的输出：
注：
最新的合成套件是Clifford Wolf的Yosys。
关于algorithm - 命题逻辑-减少运算次数，我们在Stack Overflow上找到一个类似的问题：https://stackoverflow.com/questions/26327027/