【入门夯实】德摩根律：not与and或的化简写法

学员常见误区

复合取反条件硬读：not (a and b) 被学员逐个翻成 not a and not b——德摩根律要求去掉外层 not 时翻转逻辑连接词（and 变 or），写错连接词边界数据直接走错分支。错误场景：

local a, b = false, true
print(not (a and b))
print(not a and not b)

输出 true 与 false——同一条件两种写法结果不同，化简时把 and 照抄成了 and。

正确姿势

德摩根律两条规则：not (a and b) 等价 not a or not b；not (a or b) 等价 not a and not b——去外层 not 必换连接词。规范写法。示例代码如下：

local a, b = false, true
print(not (a and b) == (not a or not b))
print(not (a or b) == (not a and not b))

输出 true 与 true——两条化简规则与原式严格等价。

引擎验证

三步验证：四组真值组合逐个验证两条德摩根等式；把业务里的 not (x > 1 and x < 9) 化简为 x <= 1 or x >= 9；对比化简前后四组边界数据的分支走向，确认分毫不差。

举一反三

德摩根的实战价值是把拒绝条件翻译成通过条件——读代码的人只看一层否定。示例代码如下：

local lv, vip = 45, false
local reject = not (lv >= 50 or vip)
local pass = lv >= 50 or vip
print(reject == not pass)

输出 true——烈火剑法的拒绝式与通过式严格互斥，两处判断天然一致。