逻辑函数化简：从一堆门电路到一个表达式的优雅之旅一个逻辑函数，可以写成Y=ABˉC+AˉBC+ABCˉ+ABCY = A\bar{B}C + \bar{A}BC + AB\bar{C} + ABCY=ABˉC+AˉBC+ABCˉ+ABC，需要 4 个与门、1 个或门、3 个非门；也可以化简成Y=AB+AC+BCY = AB + AC + BCY=AB+AC+BC，只需要 3 个与门、1 个或门。同样的功能，门电路数量少了一半，延迟降了一级。这就是逻辑函数化简的力量。学数字电路的人，大概都有过这样的经历：对着一个复杂的逻辑表达式发呆，不知道从何下手化简；或者画完卡诺图，圈来圈去总觉得哪里不对；又或者遇到约束项，不知道那个叉号到底该当 1 还是当 0。这篇文章把逻辑函数化简这件事从头到尾讲透——从最小项的概念，到公式化简的四种技巧，再到卡诺图的画法和合并规律，最后到约束条件的巧妙利用。既有公式推导，也有直觉解释，还有工程意义。一、最小项：逻辑函数的"原子单位"在讲化简之前，必须先搞懂一个概念：最小项（Minterm）。什么是最小项最小项是包含所有变量的乘积项，每个变量以原变量或反变量的形式出现且仅出现一次。比如三变量 A、B、C：AˉBˉCˉ\bar{A}\bar{B}\bar{C}AˉBˉCˉ是最小项（三个变量都出现了）ABABAB不是最小项（缺了 C）ABˉCA\bar{B}CABˉC是最小项n 个变量共有2n2^n2n个最小项：2 变量 → 4 个最小项3 变量 → 8 个最小项4 变量 → 16 个最小项最小项的三条性质唯一性：任一最小项，只有一组变量取值使其为 1。比如AˉBC\bar{A}BCAˉBC只在ABC=011ABC=011ABC=011时为 1。互斥性：任意两个最小项的乘积为 0（不可能同时为 1）。完备性：全体最小项之和为 1（总有一个最小项对应当前取值）。这三条性质非常重要——它们是后面所有化简方法的理论基础。最小项的编号把最小项对应的变量取值当成二进制数，转成十进制就是编号，用mim_imi​表示。对应规律：原变量 = 1，反变量 = 0。变量取值 ABC最小项编号000AˉBˉCˉ\bar{A}\bar{B}\bar{C}AˉBˉCˉm0m_0m0​001AˉBˉC\bar{A}\bar{B}CAˉBˉCm1m_1m1​010AˉBCˉ\bar{A}B\bar{C}AˉBCˉm2m_2m2​011AˉBC\bar{A}BCAˉBCm3m_3m3​100ABˉCˉA\bar{B}\bar{C}ABˉCˉm4m_4m4​101ABˉCA\bar{B}CABˉCm5m_5m5​110ABCˉAB\bar{C}AB