逻辑函数的基本定理-逻辑函数基本定理

先把门关上，别让人看到门后藏着那些虚头巴脑的修饰语。逻辑函数的核心，说白了就是一场在真与假之间反复横跳的博弈。你不用管它叫布尔代数、凯莱代数还是布尔图灵，它们本质上都是同一场戏的不同封面。咱们直接拆散那些套话，看看它们在真值表里到底干着啥。 真值表不是用来摆数据的，是用来把逻辑关系“活”出来的。想象一下，你手里有一串咖啡机指令，按下把手，闸机就开；手一松，闸机就关。
这在逻辑语言就是：$x$ 真，就输出真；$x$ 假，就输出假。真值表就是把这种指令翻译成表格，每一行代表一个输入组合，每一列代表一个输出结局。
这时候，你不需求去推导啥公理，也不需求管那堆复杂的蕴涵式符号，你只需求盯着那些"0"和"1"的跳动。
比方说，一个最好办的与门（AND），当两个开关都闭合时灯亮，一个断一个灭灯灭，哪位都没关灯，灯就不亮。
这就是 $xy$ 的意思，只要有一个输入打断了链条，结局就是零。 再来看或门（OR），这它的逻辑就有点反直觉。开关 A 开着灯就亮，开关 B 也开着灯，灯肯定亮；但要是你把开关 B 关掉，灯也没灭，它是闭着的。但要是你关掉了 A，B 还开着，灯依然是亮的。
只有当两个开关都彻底断开时，灯才会熄灭。
这种关系在数学上叫“吸收律”的变体，但在电路里体现为 OR 操作会让“假”这个条件失效。你不需求去背诵 $x + y = x + z$ 这种公式，你只需求记住：要么，要么，确实，就真；不过，要不就两个都没了，否则就是真。 有了真值表，接下来的事儿就是找规律。当你面对一大串输入输出时，你根本不可能手算真值表，那比算加法还难。
这时候就需求把散乱的零和一，块块地归拢起来。
比方说，要是你看到大量行里两个输入都是 0，要么两个输入都是 1，要么三个输入都是 1，这些就构成了一个“根本项”。
这就像是在一堆乱糟糟的纸张里，把那些成堆的废纸分成了不同的类别。 举个例子，假设你有一个电路，只要有一个信号是 1，输出就是 1。
这听起来挺好办，就是或关系。但在真值表里，你会发现“111”这种组合会触发一次输出，这也是输出的一种。
这时候就要启动分类了。你定义一个“根本项”，就是那些只有一种输入组合能让输出形成的行。
比方说，$x+y+z$ 这种函数，它的输出只有在输入全是 1 时才能为 1，其他时候全为 0。
这就是一个唯一的、不可再分的“根本项”。
要是你试图合并这个根本项和“全零”的情况，你会拿到另一个新的根本项，但这反而破坏了原本清楚的界限。 当根本项划分清楚了，下一步就是合并。
这听起来挺玄乎，实际上就是加法。
你看，$x+y$ 的真值表里，$x$ 和 $y$ 单独为 1 的时候，输出是 1；只有当两个都是 1 时，输出才是 1。
这就相当于在真值表里把两列"1"相加，拿到一个新的"1"。
要是两个都是 0，那这个新的"1"就不存有，输出自然还是 0。
要是 $x$ 是 1，$y$ 是 0，那这个新的"1"就保留下来，输出依然是 1。用词学的话，这叫“吸收”，就是那个活跃的项把那个被动的项给吞了。你不需求去证明这个定理，你只需求去操作那个表格，把富余的"1"删掉，剩下的就是最简化的逻辑。 再细一点，看看根本项的合并过程。
要是你有一个根本项 $x$（即输入为 1，输出为 1），再有一个根本项 $y$（即输入为 1，输出为 1）。
这就有点怪了，为啥两个独立的“单一故障点”能合并成一个？出于只要 $x$ 或 $y$ 任意一个为 1，结局就是 1。
这就像两个人与此同时在场，只要有一个人在场，聚会就成功。你不需求把“一个人”和“另一个人”合并成“两个人在”，而是直接把“在场”的状态归一了。 这时候你会遇到一种情况，叫"1 的吸收”。
比如在 $x + yz$ 这个表达式里，$y$ 和 $z$ 构成了一个“根本项” $yz$，它的输入是 1 时，输出是 1。而 $x$ 也是一个“根本项”。
要是我们把 $x$ 吸收掉，是不是就变成了 $y$？这就得小心了。
要是 $x$ 是 1，$y$ 是 0，$z$ 是 1，输出是 1。
这时候要是直接合并，可能会把 $x$ 和 $y$ 当成一个整体来处理，害得逻辑出错。对的做法是，只有当 $x$ 和 $yz$ 都是各自独立的、不可再分的原子状态时，才能进行这些合并操作。
要是它们之间有重叠，要么相互依赖，那就不能直接把它们合并成一个更大的项。 这就是逻辑函数的一个根本真理：根本项的合并规则贼严格。你不能随意把两个看似独立的根本项合二为一，要不就它们共享了所有输入变量且逻辑关系彻底一致。否则，你拿到的新函数可能比原来的函数更复杂，就连出于合并过程中的毛病，害得原本应当为 1 的地方变成了 0，要么原本应当为 0 的地方变成了 1。 最终，我们要聊聊化简。化简，不是为了追求更复杂，而是为了追求更稳定。
要是一个函数包含了忒多的根本项，比如与此同时有 $x$、$y$、$z$ 三个根本项在起功能，那它的功能就挺不稳定。略微一变，比如输入从 $101$ 变成 $100$，可能就会从输出 1 变成 0。
这时候你就需求把那些能合并的项给合并掉。
比方说，把 $yz$ 合并成 $y$，你就消除了 $z$ 这个变量，让电路在 $z$ 取啥值时都不再影响输出，只要 $y$ 是 1 就行。 这就回到了最基础的工程实践：要是你设计一个系统，发现它需求与此同时知足三个条件才能工作，那肯定是不中的。你的系统要么只用其中两个条件，要么只用一个条件。
要是你用了三个条件，你就得想办法削掉其中一个条件，让系统变得鲁棒一点。
这就是为啥要反复检查你的根本项是否冗余，为啥要在化简阶段大量使用吸收律。 逻辑函数最迷人的地方，不在于它有多高深的数学理论，而在于它如何在混乱的输入中，通过好办的规则，过滤出最核心的信号。真值表是它的眼，归纳是它的大脑，而化简就是它的手术刀。把它们串起来，你就把那些看似零散的二值逻辑，变成了有机的整体。你不需求记住任何定义，只需求记住：关掉灯的时候才能关闭，关掉灯的时候不能关闭，关掉灯的时候能够开着。
这就是所有逻辑函数的共同语言。