xor - not(A XOR B) =?

Question

この質問は、次の単純化に関連しています。

A( not(BC) +BC ) = A*not(B XOR C) はどのようになりますか?

前もって感謝します！

Answer 1

「(not(B) and not(C)) or (B and C)」は、「B が C に等しい」の場合にのみ真です。

これは、「not(B exor C)」である「not(B unequal C)」に相当します。

適切なフォーマットで:

Answer 2

真理値表を見れば答えがわかる

これで、BC or(not(B) and not(C)) が not(B xor C) に等しいことがわかります。