伪代码真值表正确性验证请求及第5行逻辑疑问咨询

待分析伪代码 #

IF year = 11 AND (grade < target OR target >7) THEN
   SET revision_class TO true
END IF

真值表正确性确认 #

这份真值表是正确的：它覆盖了year=11、grade<target、target>7三个条件的所有8种组合，每个组合对应的revision_class结果完全匹配伪代码的逻辑规则。

第5行逻辑详解 #

第5行的输入条件为：

• year=11：真
• grade<target：假
• target>7：真

按照伪代码的运算优先级，先计算括号内的grade < target OR target >7：逻辑或（OR）的规则是只要任一子条件为真，整个表达式就为真——这里target>7是真，所以括号内结果为真。

接着计算外层的year=11 AND (括号内结果)：逻辑与（AND）要求两个条件都为真时，整体才为真。此时year=11是真，括号内结果也是真，因此满足IF条件，会执行SET revision_class TO true，最终revision_class的结果为真，和真值表第5行的输出一致。

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