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

【问题标题】：How to simplify Boolean expression with XOR?如何用 XOR 简化布尔表达式？
【发布时间】：2012-06-14 07:37:20
【问题描述】：

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

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

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

另外我想把上面的布尔表达式转成CNF形式，我该怎么做呢。

【问题讨论】：

【解决方案1】：

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

【讨论】：

:-我不明白上述情况下的简化是什么 bcoz 在我的情况下 A 是 X1 而 B 是 (X2 || X3 && X4 || x5) 那么这将如何能不能用例子详细说明一下。
你的A是X1，你的B是(X2 || X3 && X4 || x5)，你能试着从中解决吗？只需将其插入@PaulR 提供的公式中，简化即可开始
@Draken：我真诚地希望 OP 在他提出这个问题后 4 年还没有为此苦苦挣扎！ ;-)
True @PaulR，我正在编辑其他人的答案并且没有查看问题的日期。还以为是新的，嗯：）
@Draken：是的，我不确定为什么有人决定在这个后期添加另一个答案 - 可能只是想建立一些代表。

【解决方案2】：

写a xor b为：

a != b

或：

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

【讨论】：