逻辑门求解与仿真

问题描述

有人可以帮助我理解为什么使用布尔代数进行跟踪和求解时的输出为何与Simulation软件的输出不同？我使用布尔表达式跟踪了它，并且Q输出为= a'+ c'，而在仿真中，Q输出为= b'（a'+ c'）。每当我使用Simulations时，真值表中的输出为11001000，每当我使用布尔代数进行跟踪和求解时，真值表中的输出为11111010

第二张图中的电路就是我所指的。 ABC是我的变量。逻辑门是“与非”门，“或”门，“非”门，“异或”门和“或非”门。

enter image description here

enter image description here

解决方法

我将((A*C)' ^ (C + B') + B)'简化如下：

((A*C)' ^ (C + B') + B)'
   |
   | expand XOR
   V
(A*C*(C + B') + (A' + C')*C'*B + B)'
   |
   |
   V
(A*C + B*C' + B)'
   |
   |
   V
(A*C + B)'
   |
   |
   V
(A' + C')*B'