boolean - 如何用异或简化 boolean 表达式？

Question

我想简化一个 boolean 表达式。
表达式是这样的

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

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

而且我想将上面的 boolean 表达式转换成CNF形式，那我该怎么做呢。

Answer 1

如果您认为 A XOR B 等同于 (A AND ~B) OR (~A AND B) 那么剩下的应该很简单。