如果我有一个方程x=y&z( bool AND)，有没有办法重新排列这个函数，如y=x?z。与普通代数类似，x=y+z 可以重新排列为 y=x-z。
同样，x=y|z( bool OR)可以重新排列为 y=x?z 吗？
最佳答案
很容易证明这样的逆算子不存在。
对于 AND 情况:
false = true & false ⇒ true = false ? false
false = false & false ⇒ false = false ? false
但是false ? false不能是true和false同时，所以不能有运算符 ?与所需的属性。 ∎
对于 OR 情况:
true = true | true ⇒ true = true ? true
true = false | true ⇒ false = true ? true
但是true ? true不能是true和false同时，所以不能有运算符 ?与所需的属性。 ∎
关于boolean-logic - 重新排列 bool 方程，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/50338518/