不确定如何进一步简化这些逻辑门

Question

我不确定如何进一步简化这一点。

Answer 1

所以基本上你的公式是真的，如果C是1＆amp; d和p不同或者如果C是0＆amp; d和p相等。因此，当C为真时，d ^ p必须为true，而C为false时d ^ p必须为false。因此C和~ (d ^ p)必须始终不同。 （~不是，^是异或，&是AND）

所以它应该等同于：

C ^ ( ~ (d ^ p))

甚至可以写成

~ (C ^ (d ^ p))

它的真值表应该是

C d p     d ^ p     ~(d ^ p)      C ^ (~(d ^ p))

0 0 0       0           1                 1
0 0 1       1           0                 0
0 1 0       1           0                 0
0 1 1       0           1                 1
1 0 0       0           1                 0
1 0 1       1           0                 1
1 1 0       1           0                 1
1 1 1       0           1                 0

现在将它与表达式的真值表进行比较：

C d p     d ^ p      ~ (d ^ p)    ~C     ~C & ~(d ^ p)    C & (d ^ p)     ~C & ~(d ^ p) | C & (d ^ p)

0 0 0       0             1        1          1               0                       1
0 0 1       1             0        1          0               0                       0
0 1 0       1             0        1          0               0                       0
0 1 1       0             1        1          1               0                       1
1 0 0       0             1        0          0               0                       0
1 0 1       1             0        0          0               1                       1
1 1 0       1             0        0          0               1                       1
1 1 1       0             1        0          0               0                       0