java - 简化 if 条件 boolean 表达式

Question

我的代码中有这个if-condition:

if (a||a&&!b){
// do some stuff
}

使用我的junit 测试 的初始值:

boolean a=true, b = true;

正如我后来认识到的那样，该语句可以简化为:

if (a&&b)

变为绿色:Assert.assertTrue(a||a&&!b == a&&b);

还有进一步的简化吗？我怎么会认识到这个 boolean 表达式可以简化？

Answer 1

只需检查真值表(我添加了括号)

  a || (a && (!b))

  a|b|result
  ----------
  T|T|T 
  T|F|T 
  F|T|F 
  F|F|F

正如我们所见，公式不依赖 b，可以简化为仅

  a

最后

  if (a) {
    // do some stuff
  }

对于具有许多变量的公式，当真值表太长而无法手动分析时，您可以按照 Eomm 的建议使用卡诺图。