判断题只有对或错，温度开关只有触发或未触发——现实中很多现象天然就是二值的。逻辑变量就是用来描述这种「非此即彼」状态的最小单位。

上页把现实压成 0 和 1，那这两个值之间最自然的运算是？——「与」AND：只有两个都为 1，结果才为 1。

上一页的“与”像串联开关：两个都通，灯才亮。现实中，声控灯只要任一声响或手动开关一个动作就能亮；这对应“或”。任一输入为 1，输出就是 1。

与、或都是看两个信号做判断。但工程里经常只有一个信号，还希望结果完全相反——反相器（NOT）正是为这个场景而生。

与非、或非是基本运算的简单复合；与或非则在单级门延迟内实现更复杂的逻辑判断。

上一页认识了与、或、非三种运算。本页看更基础的问题：变量与常量（0、1）放一起结果会怎样？变量与自己运算又会怎样？这两类规则合称0-1定律与同一律。

0-1定律处理变量与常量的关系，但实际电路往往是多个变量复合。靠什么化简(A∧B)∨(A∧C)这种表达式？这就轮到代数里的三条老熟人：交换律、结合律、分配律。

与非和或非形式不同，但摩根定律揭示它们可以互相转换——否定穿括号时，与和或会互换。

前两节我们学了分配律和德·摩根定律，今天把它们再组合一下，推出三条化简时最常打交道的式子——吸收定律。核心就一句话：A 一旦出现，多余的项就被它「吞掉」了。

16个核心恒等式的速查表与推导

前面我们已经认识了基本运算和大量公式，但要回答「一个复杂判断到底由什么决定」这件事，还必须把单个运算上升为一个整体——这就是逻辑函数。

沿流程图从左到右读：六个构建步骤依次推进，最后回代验证保证一致性。

乘积项之和的标准形式

上页学了德·摩根定律——能把非号从外面推到里面。这一页再推一步：能不能把整个表达式里的与、或、非全部去掉，只剩一种运算？

我们已经能用与、或、非组合出任意表达式，但要分析、比较、化简函数，还需要一种『规范』写法——每一项都把全部变量召集齐全。这就是最小项和最大项出场的原因。

前面学的真值表是「一行一个输入组合」的一维清单。变量一多到4、5个，这张表就拉得老长，肉眼根本找不出规律。卡诺图把同样多的格子盘成二维网格——它的编码规则正是为了解决这个痛点。

你已经会用卡诺图把一个函数「画」出来了。但同一个函数能写成很多等价形式——有的烧一摞门，有的只接一根线。这就是为什么要化简。

我们已经知道为什么要化简，但"最简"二字本身需要一把精确的尺子。同一个函数可以写出十几种等价形式，光凭"看着短"来判断是不够的。下面就给出这把尺子的刻度。

前面我们定义了'最简'的标准，现在反过来问：怎么把一个复杂表达式一步步压到那个标准？答案就藏在前面那堆定律里。

从二进制跳变不均出发，看Gray编码如何保证相邻格只差1位

从画图到写最简式，分五步走完完整流程。

三变量卡诺图比两变量多了行维，相邻关系出现首尾相接。

4变量卡诺图把矩阵从8格扩到16格，相邻规则进化：边界上下、左右、四角全部互通，最大圈可包8格、消3变量。

上页4变量卡诺图你已经能圈完所有1了，但圈法不同，最终式子可能差好几项。这页把圈组的'硬规矩'和'心法'讲透。

前面我们分别做过2、3、4变量卡诺图的化简,现在把它们抽象成一套通用流程——三步走:填图、圈组、写式,再加最后一步合并。

在卡诺图化简中，下列哪种圈组方式是错误的？

4变量卡诺图我们熟了，可变量超过4个，32格挤在一张平面上圈组边界就开始模糊。工程师的解法不是升维，而是降维：把高维变量'剥'出去，一张大图变两张小图的嵌套。

处理 don't care 项的核心是「灵活取舍」——它既不是 0 也不是 1，而是我们可以根据化简需要临时定义的值。

流程从多输出函数开始：共用输入→各自画卡诺图→跨图找公共圈组→决定是否用整体最优取代单图最简。

• ✓三种基本运算对逻辑运算构成完备集
• ✓代数化简凭定律识别，卡诺图化简凭几何相邻
• ✓德·摩根定律是连接与/或两种形式的桥梁
• ✓最简式须权衡门数、扇入与延迟等工程约束
• ✓变量增多与约束出现时，需切换到QM法或启发式策略

先独自思考再看参考答案——三道题分别指向核心、应用与边界。