先看结论
支持度none
置信度medium
严重度minor
文档未见
改写
(NOT cond OR cond IS NULL)
库侧 / 应用侧
库侧
需人工确认改造边界
应用侧
需人工确认改造边界
验证建议:LNNVL(cond) = "cond 为 FALSE 或 UNKNOWN",改写必须用 (NOT cond OR cond IS NULL) 形式完整保留三值逻辑,直接取反会丢 NULL 分支