java - 求解 boolean 表达式时如何思考？

Question

我有以下问题:

设 a 和 b 为 boolean 变量。是否可以设置 a 和 b 的值以使以下表达式的计算结果为 false？ b or (((not a) or (not a)) or (a or (not b)))

解决此问题的最佳方法是什么？我知道在一张纸上找出所有四种可能性会给我答案，但是有没有有效的策略来处理这类问题？

Answer 1

我们可以通过推导得到答案。

b or (((not a) or (not a)) or (a or (not b)))

正如我们在这里看到的，b 必须为假才能使整个表达式为假，因为它是 OR 运算符的操作数:

b or ...

但是，在右侧，如果 b 为假，则 not b 将为真，因此:

(a or (not b))

是的。

现在我们的表达式变成了:

false or (((not a) or (not a)) or true)

正如您在这里可以很清楚地看到的那样，右侧必须评估为真，而整个事情的评估结果为真。因此，答案是否定的。