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

说实话，搞清数字逻辑函数那些所谓的“根本定理”，一启动真认定挺玄乎，像是物理系里那些讲量子力学的课，略微一琢磨就头大。但转念一想，这玩意儿不就是咱们日常里那些开关、门控、信号传输背后的数学逻辑吗？说白了，就是计算机如何读、如何写、如何转码的底层密码。如此多年下来，也没少碰，感觉比那本厚得像砖头一样的《数字系统设计》更接地气。 咱们别急着往教科书里钻。想象一下，一个数字电路就是一个黑盒子，左边输入一串数，右边吐出一串结局。
这个黑盒子有个挺固定的规矩，就是“输入相同，输出就一样”。
这就是代换律，但说实话，这东西在工程上忒关键了，好办到让人厌烦，也让人恶心。
比方说，要是你用两个不同的门电路（比如一个是可控或门，一个是与非门）搭了一个电路，只要它们参数一样，逻辑上彻底等价。
那它能不能替那个门电路干活？自然能。 再看“或”函数。
这个玩意儿看着好办，就是只要有一个输入是 1，输出就是 1。
这实际上对应了人脑那个最原始的直觉：只要有一件事形成了，这事儿就算。
比如你要接一个“有光就亮灯”的电路。
要是是与门（AND），得是光才亮；要是或门（OR），只要有一点光要么没光，灯都亮。
实际上这俩门里，那个或门更像“灯”，那个与门更像“开关”。但逻辑门本身不“亮”或“暗”，光、电、信号才是“亮”或“暗”。 这就引出了“恒等式”和“互补律”的区别。恒等式说，电路和门电路互不干扰。
比方说，一个或门加一个反相器，实际上就是一个或门；一个与门加一个非门，就是一个与门。
这玩意儿特别适合静态逻辑，也就是电路不用切换状态，只负责稳态。
比如一个“要么”电路，只要一直通，状态就稳，不好办出错。而互补律（De Morgan's laws）就费事点。
比方说，一个非门加一个非门，等于没加啥。
这意味着，要是你故意把输入反了，输出还会回到原来的样子。
这在工程里有时候是个“双刃剑”，但也正是它的妙用。
比方说，有时候为了保险，你非要用两个非门来消除噪声，要么为了让电路在不工作时也能存活。 再聊起“乘积性”，这玩意儿实际上就是乘法。数字逻辑里的乘法，不是咱们小学那种挨个数累加，而是真值表里的交叉点。
比方说，输入是 1 和 1，输出就是 1。
这看起来像加法，实际上更像是逻辑与。
这里有个关键点：你不能直接拿两个 0 相加得 0，也不能拿两个 1 相加得 0。你得先翻个面（取反），要么干脆全取反，然后再做加法。
这彻底符合布尔代数的自伴性，但咱们日常操作时，往往是在“不翻面”的前提下，靠全取反要么全取反再加，来凑出想要的结局。 举个具体的例子吧。假设你要算真值表。
有时候你会遇到这种情况：输入是 0 和 1，输出也是 0 和 1。
这时候你会认定忒巧了，会不会是巧合？实际上不一定。
这对应的是，要是两个输入不同，输出就是 1；要是两个输入相同，输出就是 0。
这实际上就是异或（XOR）的逻辑。
要是你把输入全取反，再算一次异或，结局还是一样。
这演示了逻辑电路的线性性质，哪怕输入实际上是错的，经过处理后的电路仍然能搞到对的结局。 还有“冗余性”，就是你回顾一下，哪些定理实际上是富余的。
比方说，恒等式里那点“输入相同输出相同”的废话，实际上在运算时往往不用管。
有时候，你会发现一个定理实际上是另一个定理的推论。
比方说，互补律实际上能够看作恒等式的一种特殊情况，只是输入加了个非号罢了。搞懂了这些，实际上你就懂了数字逻辑函数最核心的脾气：它喜爱那些“不变量”，厌恶那些“变动量”。 最终说个“冗余性质”，就是要是电路里多了一个“要么”门，只要输入不变，输出也不变。
这听起来挺废话，但在实际布线时，多一个额外的门，意味着多一个晶闸管，多一个电容，成本可能翻两倍。
故此，设计电路时，往往得精打细算，别为了凑那个冗余的“或”要么“非”，把自己搞成浪费。 总而言之，数字逻辑函数的根本定理，就是咱们在这堆 0 和 1 之间找规律、找捷径的指南。它教咱们如何用最少的资源，办顶多的事；如何用最好办的逻辑，把最复杂的数据变成看得懂的信号。
不用死记硬背那些公式，脑子里多存一点“灯亮灯亮”、“灯灭灯灭”的直觉，加上一点点代数运算的常识，那玩意儿自然就通了。
毕竟，这玩意儿最终就是用来管事的，不是用来写论文写的。