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

我不确定如何进一步简化这个问题

---

因此，如果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

---

这是“（（不是C）或（不是（d xor P））和（C或（d xor P））”？这是（（不是C）和（不是（d xor P））或（C和（d xor P））这个问题似乎是离题的，因为它是关于数学的，这可能在math.stackexchange.com上处理得更好。“C=d xor P”怎么样？啊，谢谢你这么多的解释！