(not (A XOR B)) XOR C细分

Question

我如何展开这个等式呢？我知道A XOR B等于(A * NOT B) + ((NOT A) * B)，那么( NOT (A XOR B))会是((NOT A) * B) + (A *NOT B)吗？即便如此，我又该如何包含第二部分呢？任何帮助都是非常感谢的。

Answer 1

(NOT (A XOR B)) XOR C

手段

((NOT (A AND (NOT B)) OR (B AND (NOT A))) AND NOT C) OR (C AND ((A AND (NOT B)) OR (B AND (NOT A))))

Operator1 XOR Operator2要求，运算符中只有一个(确切的一个)为true，因此结果为true。这意味着(A XOR B)会按照您对(A AND (NOT B)) OR (B AND (NOT A))所说的那样进行翻译。这个结果在公式的左侧被否定，并用C进行XOR。这意味着，在左侧有一个隐式的NOT C，而在右侧有一个隐式的NOT NOT ((A AND (NOT B)) OR (B AND (NOT A)))。NOT NOT会自行抵消，因此只有(A AND (NOT B)) OR (B AND (NOT A))保留在那里。