如何简化该if语句？布尔表达式化简是否存在错误？

首先明确原条件与你尝试化简后的条件对应的逻辑表达式：

• 原条件逻辑形式：a ∨ (¬b ∧ c)，对应代码：if(year%400==0 || (year%100!=0 && year%4==0))
• 你给出的化简结果逻辑形式：a ∨ (b ∨ ¬c)，对应代码：if(year%400==0 || (year%100==0 || year%4!=0))

错误核心：逻辑运算规则误用 #

你混淆了逻辑等价转换的规则。¬b ∧ c的否定是b ∨ ¬c，但你直接将原表达式里的¬b ∧ c替换成了b ∨ ¬c，这完全不符合逻辑等价转换的要求——两者并非等价关系。

原表达式a ∨ (¬b ∧ c)本身已是闰年判断的标准简洁形式，若要做等价转换，基于分配律可得(a ∨ ¬b) ∧ (a ∨ c)，但这反而会让条件更复杂，没有实际意义。

实际验证示例 #

用具体年份测试可直观看到差异：

• 年份2000：原条件与化简后条件均返回true（正确，2000是闰年）
• 年份1900：原条件返回false（正确，1900不是闰年），但化简后的条件因year%100==0触发分支，返回true（错误）
• 年份2020：原条件返回true（正确，2020是闰年），但化简后的条件中三个子判断均为false，返回false（完全错误）

结论 #

你的化简存在明显错误，错误源于对逻辑等价转换规则的误用，原闰年判断条件是正确且最优的，无需进行此类错误化简。

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