布尔值是否会隐式为真？为何Java布尔运算代码输出恒为true

核心逻辑说明 #

你此前的猜想存在偏差：false && true的运算结果是false而非true，逻辑与&&的规则是仅当左右两个操作数均为true时结果才为true，只要有一个操作数为false，结果就是false。

你给出的核心运算表达式为：

boolean output = (answer && true) ^ !answer;

我们可以分步拆解简化逻辑：

• 首先简化answer && true：对于任意布尔值answer，和true做逻辑与运算不会改变原变量的取值，结果完全等价于answer本身。代入验证即可确认：
  • answer = true时：true && true = true，和原变量一致
  • answer = false时：false && true = false，和原变量一致
    因此原表达式可以直接简化为 answer ^ !answer
• 再看异或^的运算规则：异或的特点是两个操作数取值不同时结果为true，取值相同时结果为false。
  而answer和!answer是互逆的布尔值，不管answer取true还是false，二者的取值永远相反，所以异或的结果必然永远是true。

场景验证 #

我们代入两种取值确认结果：

• 当answer = true时：
  1. 括号内运算：true && true = true
  2. 取反运算：!true = false
  3. 异或运算：true ^ false = true
• 当answer = false时：
  1. 括号内运算：false && true = false
  2. 取反运算：!false = true
  3. 异或运算：false ^ true = true

内容的提问来源于stack exchange，提问作者Courtney Parks