如何使用XOR简化布尔表达式？

Question

我想简化一个布尔表达式 表达式是这样的

X1 xor (X2 || X3 &&  X4 || x5)

如何使用布尔代数规则简化此表达式。

此外我想将上面的布尔表达式转换为CNF格式，所以我该怎么做。

Answer 1

如果您认为A XOR B等同于(A AND ~B) OR (~A AND B)，那么其余部分应该很容易。

Answer 2

将a xor b写为：

a != b

或：

!(!a || b) && !(a || !b)