NOIP 提高组初赛 · NOIP 2010 提高组初赛试题 第 3 题

以下逻辑表达式的值恒为真的是（    ）。

这题核心就一个词：分配律。拿到这种带非号（┓）的选项，别急着代入真假值，先盯着P和┓P在每一项里的分布，把公因式提出来，往往一步就能看出恒真还是恒假。

很多学生看到B、C、D里也有P和Q的组合，容易凭直觉觉得‘都有P和Q，应该差不多’，结果代入P=0,Q=0时B、C、D全为0，反而A为1，就选错了。其实A之所以恒真，是因为它把┓P这一项和后面的Q、┓Q都配对了，形成了┓P∧(Q∨┓Q)，这才是逻辑恒真结构，光看表面项数多少没用。

考点定位与命题视角 这道题考查的是逻辑代数中的分配律和互补律。命题人特别喜欢在这种单选题里挖坑：选项B、C、D看起来都有P和Q，甚至都有“非P且Q”这种项，学生很容易凭经验觉得“有P有Q就有希望”，但仔细看会发现它们都漏掉了一种情况，导致在P=0,Q=0时整体为假。只有A选项把┓P这一项完整地配给了Q和┓Q，构成了互补结构。

概念人话版 分配律就是：A∨(B∧C) = (A∨B)∧(A∨C)。在逻辑里，它能把一个“与”拆成两个“或”再合起来，或者反过来把“或”提出来。互补律就是：P∨┓P = 真（T），P∧┓P = 假（F）。这两个定律是化简逻辑式的利器。

一步步怎么想（思考心法） 拿到A选项：P∨(┓P∧Q)∨(┓P∧┓Q)。别慌，先找公因式。后两项都有┓P，用分配律把┓P提出来： P∨┓P∧(Q∨┓Q)。括号里Q∨┓Q是互补律，等于真。于是式子变成P∨┓P∧T。再根据恒等律，┓P∧T就是┓P，所以最终是P∨┓P，又回到互补律，等于真。恒真！

再看B：Q∨(┓P∧Q)∨(P∧┓Q)。把第一项和第二项合并，Q∨(┓P∧Q) = Q（吸收律），剩下Q∨(P∧┓Q)。这个式子当P=0,Q=0时，Q=0，P∧┓Q=0，整体为0，不恒真。

C：P∨Q∨(P∧┓Q)∨(┓P∧Q)。同样用吸收律，P∨(P∧┓Q) = P，Q∨(┓P∧Q) = Q，最后只剩P∨Q，P=0,Q=0时为0，不恒真。

D：P∨┓Q∨(P∧┓Q)∨(┓P∧┓Q)。合并P和P∧┓Q得P，合并┓Q和┓P∧┓Q得┓Q，最终P∨┓Q，P=0,Q=1时┓Q=0，整体为0，不恒真。

避坑提醒 最容易错的是看到B、C、D里也有“非P且Q”这种项，就以为它们和A一样恒真。其实A的关键在于┓P后面紧跟的是Q∨┓Q，而B、C、D要么只跟一个Q，要么跟两个互斥的项，永远凑不出互补律。代入P=0,Q=0是检验恒真的黄金标准，千万别跳过。

考频与趋势 逻辑代数在题库中一共考过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题。从数据能看出，逻辑代数在GESP五级和NOIP提高组初赛是高频考点，2025年单年15题的爆发式增长也说明命题人越来越喜欢考这类纯逻辑化简题。

预测 基于2025年15题的激增和2026年5题的回落，逻辑代数的考频可能在2026-2027年进入平稳期，但形式会从“纯化简”转向“结合二进制运算”或“真值表构造”。暂无足够依据预测未来会突然减少或增加，但建议考生把分配律、互补律、吸收律这三条核心定律练到手熟，因为这类题往往就在一行分配律内解决。