只有ABC和C时AB + C.

Question

我试图计算AB+C（A，B和C是布尔值），但我只有值ABC和C。我可以否定，或者和我心中的内容，但我只是从系统中获取ABC和C。

具体来说，有一个服务有两个布尔状态变量。一个是三个内部属性的组合，只有在所有三个属性都为真时才为真，但三个状态属性中的一个也可用。我只想弄清楚我是否可以计算出我想要的值，而不要求他们将A和B添加为单独的值。

AB是A and B

A + B是A or B

Answer 1

在任何情况下，我都不认为AB+C只能知道C和ABC的价值：

• 如果C为真，则AB+C为真
• 如果C为false，则ABC为false，您无法找到有关AB的任何内容。

旧答案 - 如评论中所述错误：

我会试一试。您可以构建not(not(ABC)+C)+C：

not(not(ABC)+C)+C = not(not(A)+not(B)+not(C)+C))+C
                  = not(not(A)+not(B))+C
                  = AB+C