简化（a + b）XOR（c + b）

Question

是否可以简化（a + b）xor（c + b）？ b对最终结果的贡献是什么？ 请注意，我将算术运算与布尔代数混合，xor是按位独占的或位于相应的位上，而+是8位上的标准加法，在飞越时会回绕。 a，b，c是无符号字符;

Answer 1

我们可以使用SMT解算器来测试我们的假设，即您的公式可以被简化。您可以前往http://rise4fun.com：

x = BitVec('x', 8) 
y = BitVec('y', 8) 
z = BitVec('z', 8) 

print simplify((x + z)^(y + z)) 

和结果，anticlimactically是：

x + z^y + z 

这意味着你的公式不能进一步简化。