SICI · 天机门 · 第一章

从模拟到数字的跃迁 · 炼气一层

连续信号信息量更大——这句话,连渊真君说对了一半。

门楣八字:「0 即 1,1 即 0」
序章

天机门下

0 即 1,1 即 0

你从半导体炼器阁毕业,怀里的 MOSFET 还带着炉温。天机门山门洞开,门楣上刻着八个字:「0 即 1,1 即 0。」

你嗤笑——晶体管是模拟器件,电流连续可调,何来 0 与 1?雾从门内涌出,凝成一个人影,通体由连续波形构成,没有离散的边界。

天机门山门,门楣刻着0即1,1即0,雾气凝成连续波形人影
连渊真君 连渊真君

「来得好。你既信连续,与我赌一局——你那颗晶体管,能传几种信号?先指认一件:哪一件本质上不是数字系统?」

反直觉下注 · 哪一件不是数字系统?

先下注,指认一件。猜错,渊账记一笔。👆 点击下方按钮下注

你刚点亮的每一件东西里,连续信号都被砍成了 0 和 1。你以为总有例外。没有例外。但你还是不服——「砍掉的东西,去了哪里?」
第一幕 · 自信

十六级深渊 · 连续之赌

连续信号容量无限——这还不容易?

石径尽头是一面墙,墙上排列着十六面铜镜——信号传输链。

诺依曼老祖 诺依曼老祖

「你从半导体阁学过:MOSFET 是放大器,电压连续可调。把你的信号传过去。十六级。」

连渊真君 连渊真君

「十六级而已。连续信号容量无限——这还不容易?」

十六级传输链 · 把 3.7V 传到第十六级

3.7 V
可辨识级数
— / 16
连续信号每经过一级就退化,无法再生——这不是工艺不够好,是连续本身的宿命。数字信号可以被再生:每一级都把退化的信号拉回标准电平。这就是本质区别。
第一幕 · 抉择

离散之光 · 为何是二进制

三进制携 1.58 bit,二进制只有 1

墙上浮现三种量化方案:二值(0/5V)、三值(0/2.5/5V)、四值(0/1.67/3.33/5V)。

连渊真君 连渊真君

「三进制每符号携 log₂3≈1.58 bit,四进制携 2 bit。二进制只有 1。你选最少的?」

诺依曼老祖 诺依曼老祖

「别只看信息量。指了指墙上的噪声带宽——测一测容限。」

三进制对比器 · 测噪声容限 + 级联测试

点选一种进制,看它的噪声容限与级联表现。
进制越高,信息密度越大,但噪声容限越小。二进制不是信息量最优,是工程鲁棒性最优。
第二幕 · 契约

补码深渊 · 负数的契约

3 + (-3) = ? 用四位二进制算

诺依曼老祖递来一块运算石板:「3 + (-3) = ? 用四位二进制算。」

你刻下:符号位 1,数值位 011,得 1011。石板碎裂。「减法呢?你需要一个减法器。」

连渊真君 连渊真君

「连续世界里,减法就是加负数。你们离散人,连减法都做不好。」

三种编码对比 · 用四位表示 -3,算 3 + (-3)

逐一试原码 / 反码 / 补码,看哪种让零唯一、让减法消失。
原码 -31011
反码 -31100
补码 -31101
补码的精妙不在表示,在运算——它让减法消失,让零唯一,让运算器只需一套电路。这不是数学技巧,是工程美学。
第二幕 · 公理

布尔之基 · 三块基石

与、或、非——全部判断皆从此出

诺依曼老祖指着三块基石:「与、或、非。全部判断,皆从此出。与非、或非、异或——不过是这三块的组合。」

连渊真君 连渊真君

「连续世界里,'与'是取小值,'或'是取大值。你们砍成 0 和 1,'与'就是乘法。不过是算术的残渣。」

逻辑门搭建 · 选一个基本集,看能否搭出全部

点选一种基本集,验证它能否生成与/或/非三门。试「异或」——它不完备。
布尔代数不是算术的残渣——它是判断的公理体系。完备集的存在意味着:全部逻辑可由单一门类型构建。这正是层次化设计的基石。
第二幕 · 表示

函数之困 · 真值表与积之和

三人投票,过半数通过

墙上投射一道题:「三人投票,过半数通过。」你搭与门、或门、非门——三人八种组合,你要写出全部「通过」的组合。

连渊真君 连渊真君

「八个组合,你一个个列?连续世界一个公式就够了。」

诺依曼老祖 诺依曼老祖

「只递来一张空表:填。」

真值表 + SOP/POS 互转

逐行填三人(A,B,C)投票真值表,标出「通过(≥2)」的行。

积之和 SOP

和之积 POS

规模预警 · 变量数增长时行数指数爆炸

真值表是函数的完整描述,SOP/POS 是它的两种标准语言。但变量数增长时行数指数爆炸——这个方法不能 scale。你需要化简。
第二幕 · 再崩塌

化简碰壁 · 代数的极限

每一步都对,但每一步都可能让表达式更大

诺依曼老祖推来一块更大的石板:五变量函数,三十二行真值表。「化简它。」

你用分配律、德摩根律、吸收律——前四步顺利,化掉了八项。第五步卡住。你换一条路径——又卡住。再换——表达式反而变长了。

连渊真君 连渊真君

「你的代数没有方向。每一步都对,但每一步都可能让表达式更大。你不知道何时停。」

代数化简步进器 · 实时看表达式长度

A·B·C·D·E + A·B·C·D·E' + A·B·C·D'·E + ... (32 项)
当前项数32
最优解4
点步进器,看表达式长度先降后升——像在迷宫里打转。
代数化简像在迷宫里走——每步都合法,但你不知道出口在哪。需要一种有方向的方法,一种能「看见」最优解的方法。
第三幕 · 顿悟

卡诺顿悟 · 给代数一双眼睛

相邻即消元——画圈

诺依曼老祖展开一张图——横竖各列变量值,每个格子是一个最小项。「把你的真值表填进去。然后——画圈。相邻的格子,只差一个变量。圈在一起,那个变量就消掉了。」

连渊真君 连渊真君

「画圈?这是巫术,不是数学。」

卡诺图画圈化简器 · 4 变量 4×4(Gray 码)

点击格子画圈(2 幂次方矩形:1/2/4/8)。再点 don't care 格释放化简空间。

当前项数
最优项数4
don't care 利用0
画 2 幂次方矩形圈覆盖相邻 1——变量被消去,金光迸射。
卡诺图把代数的「方向感」变成了「空间感」——相邻即可消。无关项是工程赐予的自由度:不会出现的状态不约束设计,反而释放化简空间。
第三幕 · 融通

硅基之桥 · CMOS 的电压传输特性

0 和 1 在硅上不过是一条 S 曲线?

你从半导体炼器阁带来的 MOSFET 静静躺在桌上。诺依曼老祖:「你学过它的 I-V 特性。现在,把 PMOS 和 NMOS 串起来——做一个反相器。测它的电压传输特性。」

你拖动输入电压从 0 扫到 VDD。输出不是阶跃——是一条 S 形曲线。

连渊真君 连渊真君

「看?你的 0 和 1,在硅上不过是一条 S 曲线的幻觉。」

VTC 扫描仪 · 拖 Vin 看 Vout + 标噪声容限

0.0 V
V_IL
V_IH
NM_H
NM_L

扇出测试 · 一个门能驱动多少门

拖 Vin 扫 VTC,标容限,再测扇出——看电流有限如何限制负载。
0 和 1 不是幻觉——是 VTC 陡峭过渡区 + 噪声容限共同保证的工程契约。S 曲线不是缺陷,是物理与逻辑的桥:它把连续电压「锁进」离散电平。
终幕 · 对决

连渊三问 · 排除法收网

三问拦路,渊账待清

雾凝结成人形——连渊真君。他通体由连续波形构成,没有离散的边界。

连渊真君 连渊真君

「你以为你赢了?你只是逃了。你的 0 和 1,是物理的谎言。我来问你三个问题。答不出——天机门归于连续。」

诺依曼老祖 诺依曼老祖

「你的刻痕,够用了。」

渊账累计 0 笔 · 三问全对后清零

尾声

数字不朽 · 逻辑初开

炼气一层 · 逻辑初开 · 圆满

雾散尽。天机门山门上的「0 即 1,1 即 0」八字亮起翠绿光。诺依曼老祖站在门前:「你进来时,以为 0 和 1 是谎言。现在呢?」

你看着手上的刻痕——三道,每一道都是一条死路。死路的尽头,不是真相,是契约。

诺依曼老祖 诺依曼老祖

「把十四个碎片排成认知链。从模拟退化,到层次化设计——你走过的每一步,都在这一条链上。」

知识图谱点亮 · 把十四个碎片排成认知链

点击下方碎片,按因果顺序点亮认知链。

排错处会闪烁红光,提示该知识点依赖的前置知识。
0110
数字系统不是对模拟的逃避,是对模拟的契约——用「可再生」换「信息密度」,用「抽象层」换「复杂度可叠加」。你丢的不是连续,是重复处理连续的负担。
ch02 组合逻辑电路 🔒(点亮全部图谱后开启)