不完全確定如何進一步簡化這些邏輯門

Question

我並不確定如何進一步簡化。

Answer 1

所以基本上，如果C是1 & d和p爲不同或如果C 0 & d和p等於公式爲真。所以當C爲真時，d^p必須爲真，C爲假時d^p必須爲假。所以C和~ (d^p)必須始終不同。 （~不是，^是XOR，&是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