CSP-J 入门级 · CSP 2025 入门级第一轮 第 7 题

假设 $a, b, c$ 都是布尔变量，逻辑表达式 (a && b) || (!c && a) 的值与下列哪个表达式不始终相等？

这道题考的是逻辑代数中的分配律和德摩根律。拿到题别急着硬算，先观察原式 (a && b) || (!c && a)，发现两个分支都有 a，直接提取公因式化简成 a && (b || !c)，然后逐个选项对比，C 选项把 b 和 !c 的位置搞反了，肯定不对。

很多同学在逻辑运算里容易把代数里的‘交换律’想当然地套用到布尔代数里，觉得 b || !c 和 !c || b 一样（其实一样），但 C 选项写的是 !b || c，这里不仅顺序变了，连非号的位置都错了，相当于把 b 取反了。另外，优先级也是个坑，大家总以为 ! 只作用于紧挨着的变量，其实 !c 是一个整体，!c && a 要先算非再算与，别把 ! 的优先级搞混了。

考点与概念： 本题核心是布尔代数（逻辑代数）。布尔变量只有真（1）和假（0）两种取值。运算符优先级必须记牢：非（!）最高，与（&&）次之，或（||）最低。这就像算术里先算负号、再乘除、最后加减一样，顺序错了结果全乱。

命题人怎么挖坑： 命题人特别喜欢在逻辑等价题里玩‘伪装’。原式 (a && b) || (!c && a) 乍一看挺复杂，但只要你一眼看到两个分支都含 a，就能用分配律 a && (b || !c) 瞬间化简。C 选项 a && (!b || c) 就是利用考生对‘非号’位置的混淆，把 b 和 !c 的位置互换并取反，看起来很像，实则完全不等价。D 选项则用了德摩根律的变形，属于高阶伪装，需要一点功底才能看出来。

思考心法： 拿到这类题，先别急着代入所有真值表（太耗时）。第一步，观察原式结构，提取公因式化简；第二步，看选项是否等价。如果不确定，再找一组‘极端值’快速检验，比如令 a=1, b=1, c=0，原式真值为 1，C 选项真值为 0，立马排除。这种‘先化简、再特值验证’的策略，比硬算快得多。

详细计算与验证： 原式化简： (a && b) || (!c && a) = a && (b || !c)（分配律）。

代入 a=1, b=1, c=0（原式=1）：

• A: 1 && (1 || 1) = 1 ✅
• B: 展开后同样得 1 && (1 || 1) = 1 ✅
• C: 1 && (!1 || 0) = 1 && (0 || 0) = 0 ❌（不等价！）
• D: 利用德摩根律化简后也得 1 && (1 || 1) = 1 ✅

常用技巧： 逻辑等价题里，分配律 a&&(b||c)=(a&&b)||(a&&c) 和吸收律 a||(a&&b)=a 是高频考点。德摩根律 !(a||b)=!a&&!b 也常用来变形。记住这些‘代数公式’，做题就像解方程一样顺手。

考频与趋势： 从题库数据看，运算符与表达式是绝对高频考点，2025 年考了 61 题，2026 年也有 14 题，说明这类题在入门级和 GESP 低级别中非常常见。逻辑代数单独考了 47 题，2025 年更是 15 题，占比很高。历年分布显示，2023-2025 年这类题密集出现，命题趋势明显向‘化简 + 特值验证’方向倾斜，不再单纯考死记硬背的真值表。

预测： 基于 2025 年高达 61 题的运算符与表达式考频，以及 2023-2025 年逻辑代数题的密集分布，未来（2026 及以后）这类‘化简后对比选项’的题型仍将是必考内容。命题人可能会在更复杂的嵌套逻辑中继续考察分配律和德摩根律的灵活运用，比如出现多层非号或混合运算。暂无足够依据预测具体年份的题型变化，但可以确定的是，掌握布尔代数化简和特值验证法，是应对此类题目的核心能力。