重新排列布尔方程

Question

如果我有一个方程x=y&z(布尔 AND(，有没有办法重新排列这个函数以便y=x?z. 与普通代数类似，x=y+z可以重新排列为y=x-z。

同样，x=y|z(布尔OR(可以重新排列成y=x?z的东西吗？

Answer 1

很容易证明这种反演运算符不可能存在。

对于 AND 案例：

false = true & false⇒true = false ? falsefalse = false & false⇒false = false ? false

但是false ? false不能同时true和false，因此不可能有一个具有所需属性的运算符?。

对于手术室情况：

true = true | true⇒true = true ? truetrue = false | true⇒false = true ? true

但是true ? true不能同时true和false，因此不可能有具有所需属性的运算符?。