【入门夯实】德摩根简化：条件表达式的等价变换

学员常见误区

复合条件的否定写法冗长且易错：not (a and b) 被学员写成 not a and not b——德摩根定律说 not (a and b) 等价于 not a or not b，and 变 or 而不是保持 and。条件简化时忽略这一定律，逻辑悄然改变。错误场景：

if not (vip and online) then
    print("不能领奖")
end

正确语义是"非VIP 或 不在线"任一即拦截，但很多学员会误写成 not vip and not online。

正确姿势

德摩根变换两条规则：not (a and b) = not a or not b；not (a or b) = not a and not b。and 与 or 在取反后互换。规范写法。示例代码如下：

local function canClaim(vip, online)
    return not (vip and online) == false
end
local function isBlocked(vip, online)
    return not vip or not online
end

isBlocked 是 not (vip and online) 的德摩根展开——不可领取（被拦截）等价于 非VIP 或 不在线。

引擎验证

三步验证：vip=true online=true 时 canClaim 为 true 且 isBlocked 为 false；vip=false online=true 时 canClaim 为 false 且 isBlocked 为 true；四种组合逐一遍历，两函数输出严格互补。

举一反三

三条件复合的德摩根展开同理：not (a and b and c) = not a or not b or not c，展开后 or 链逐项取反。示例代码如下：

local function anyMissing(a, b, c)
    return not a or not b or not c
end

anyMissing 任一参数缺失即 true，是"全部满足才通过"的否定形式。