math - 不完全确定如何进一步简化这些逻辑门

Question

我不完全确定如何进一步简化。

Answer 1

因此，如果 C 为 1 & d 且 p 不同，或者 C 为 0 & d 且 p 相等，则基本上您的公式为真。所以什么时候C是真的那么d ^ p一定是真的，什么时候C是假的d ^ p一定是假的。所以C而且~ (d ^ p)必须总是不同的。（~不是，^是异或，&是与）

所以它应该相当于：

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