NOIP 提高组初赛 · NOIP 2007 提高组初赛试题 第 12 题

命题 $P\to Q$ 可读做 $P$ 蕴涵 $Q$，其中 $P,Q$ 是两个独立的命题。只有当命题 $P$ 成立而命题 $Q$ 不成立时， 命题 $P\to Q$ 的值为 false，其他情况均为 true。与命题 $P\to Q$ 等价的逻辑关系式是（ ）。

这题考的是逻辑蕴含 P→Q 的等价变形。拿到题先别急着套公式，把 P→Q 的‘假’的情况想清楚——只有 P 真且 Q 假时才假，其余全真。然后看哪个选项的取值规律和它一模一样，用真值表或德摩根律展开对比就行。

最容易栽跟头的是只记住 P→Q 等价于 ¬P∨Q，却忘了选项 D 是 ¬(¬Q∧P) 这种双重否定加合取的形式。很多学生会直接排除 D，以为它和 A 不一样；或者把德摩根律用反，误以为 ¬(¬Q∧P) 等于 ¬¬Q∨¬P 从而变成 Q∨¬P，虽然结果对但推导过程容易写错符号。另外，有人会把蕴含式当成‘只要 P 真 Q 就得真’，忽略了 P 假时 Q 随便填都算真，导致对 C 选项 ¬(P∨Q) 产生误解，以为它和蕴含式有点像，其实 C 只在 P、Q 全假时才真，和蕴含式的真值表根本不搭界。

考点定位 这道题属于逻辑代数基础，核心就是理解蕴含式 P→Q 的真值表及其等价变形。在信息学竞赛初赛里，这类题常用来检验考生对逻辑运算优先级和德摩根律的熟练度，同时考察对‘等价’这一概念的严谨把握。

概念拆解（人话版） 命题 P→Q 读作‘如果 P 那么 Q’。它的真假规则很简单：只有当 P 成立而 Q 不成立时，整个蕴含式为假；其他三种情况（P 真 Q 真、P 假 Q 真、P 假 Q 假）全为真。你可以把它想象成‘承诺’：只要前提 P 兑现了，结论 Q 必须兑现，否则承诺破裂（假）；如果前提 P 根本没兑现（假），那承诺自然不算数，视为真。

命题人怎么挖坑 命题人最喜欢在选项里放两个‘长得像’的式子：一个是标准的等价式 ¬P∨Q，另一个是包装过的德摩根形式。比如本题的 D 选项 ¬(¬Q∧P)，乍一看符号多、括号多，容易让人误判。同时，C 选项 ¬(P∨Q) 也很容易和蕴含式混淆，因为两者在某些行上都是真，但整体真值表完全不同——这就是典型的‘局部相似、全局不同’陷阱。

思考心法：拿到题先想什么 1. 先写出 P→Q 的真值表，四行八列（P、Q、P→Q）。记住：只有一行（P=T, Q=F）是假，其余三行都是真。 2. 再看 A 选项 ¬P∨Q。按定义展开：¬P 为真当且仅当 P 为假；所以 ¬P∨Q 为假的情况只能是 ¬P 假（即 P 真）且 Q 假，正好和 P→Q 的假行一致。A 直接过关。 3. 处理 D 选项 ¬(¬Q∧P)。先算括号里：¬Q∧P 为真当且仅当 Q 假且 P 真——这又回到了 P→Q 唯一的假行。再外面加个 ¬，就把假行翻成真行，其他行都翻成假行？等等，这里要小心：¬(¬Q∧P) 为假的条件是 ¬Q∧P 为真，也就是 P 真且 Q 假；为真的条件则是 ¬Q∧P 为假，即 P 假或 Q 真。这正好和 P→Q 的真假行完全对应。所以 D 也等价。 4. 快速排除 B 和 C：B 是 P∧Q，只在 P、Q 全真时为真，其余全假，显然不对；C 是 ¬(P∨Q)，只在 P、Q 全假时为真，其余全假，也不对。

计算与验证（德摩根律） 为了保险，可以用德摩根律把 D 展开： ¬(¬Q∧P) = ¬¬Q ∨ ¬P = Q ∨ ¬P。 而 ¬P ∨ Q 和 Q ∨ ¬P 只是交换律，完全一样。所以 D 和 A 本质上是同一个式子，只是写法不同。

避坑提醒

• 别看到 D 选项就以为它和 A 不同而直接排除，符号包装不等于逻辑不同。
• 别把 C 选项误当成蕴含式的变形，¬(P∨Q) 只在 P、Q 全假时为真，和蕴含式的真值表只有两行重合，远远不够。
• 做这类题一定要写真值表或至少心里过一遍四行，光靠直觉容易掉进命题人的圈套。

考频与趋势 根据题库统计，逻辑代数在 2007-2026 年间共考了 47 题，覆盖 7 个级别。逐年分布为：2007 年 5 题、2008 年 2 题、2010 年 2 题、2011 年 1 题、2012 年 2 题、2013 年 1 题、2014 年 1 题、2020 年 1 题、2023 年 3 题、2024 年 9 题、2025 年 15 题、2026 年 5 题。分赛事来看，GESP 五级考了 20 题，NOIP 提高组初赛 9 题，GESP 八级 6 题，NOIP 普及组初赛 5 题，GESP 六级 3 题，GESP 七级 2 题，CSP 入门级 2 题。

从数据看，2024-2026 年逻辑代数题量明显上升（2024 年 9 题、2025 年 15 题、2026 年 5 题），尤其是 GESP 五级占比过半，说明基础逻辑运算已成为各类别必考内容。

预测 基于近年高频趋势，未来 GESP 五级及 NOIP 普及组仍会高频考查此类等价变形，命题形式可能继续增加括号嵌套或双重否定干扰项，以区分真正掌握德摩根律的考生。暂无足够依据预测未来可能怎么考；若数据不足以支撑，明确写“暂无足够依据预测”，绝不硬编。