并项法
运用 AB + A B ‾ \overline{B} B = A (B + B ‾ \overline{B} B) = A，将两项合并为一项，并消去一个变量。
例如：
Y1 = A B ‾ \overline{B} BC + A B ‾ \overline{B} B C ‾ \overline{C} C = A B ‾ \overline{B} B(C + C ‾ \overline{C} C) = A B ‾ \overline{B} B
吸收法
运用A + AB = A (1 + B) = A 和 AB + A ‾ \overline{A} AC + BC = AB + A ‾ \overline{A} AC，消去多余的与项。
例如：
Y1 = AB + AB(E + F) = AB(1 + (E + F)) = AB
Y2 = A B ‾ \overline{AB} AB + A ‾ \overline{A} AD + B ‾ \overline{B} BE = A ‾ \overline{A} A + B ‾ \overline{B} B + A ‾ \overline{A} AD + B ‾ \overline{B} BE = ( A ‾ \overline{A} A + A ‾ \overline{A} AD) + ( B ‾ \overline{B} B + B ‾ \overline{B} BE) = A ‾ \overline{A} A + B ‾ \overline{B} B = A B ‾ \overline{AB} AB
消去法
运用A + A ‾ \overline{A} AB = A + B 或 A ‾ \overline{A} A + AB = A ‾ \overline{A} A + B，消去多余因子。
例如：
Y1 = A ‾ \overline{A} A + AB + B ‾ \overline{B} BC = A ‾ \overline{A} A + B + B ‾ \overline{B} BC = A ‾ \overline{A} A + B + C
Y2 = A B ‾ \overline{AB} AB + AC + BD = A ‾ \overline{A} A + B ‾ \overline{B} B + AC + BD = ( A ‾ \overline{A} A + AC) + ( B ‾ \overline{B} B + BD) = A ‾ \overline{A} A + C + B ‾ \overline{B} B + D
Y3 = AB + A ‾ \overline{A} AC + B ‾ \overline{B} BC = AB + ( A ‾ \overline{A} A + B ‾ \overline{B} B)C = AB + A B ‾ \overline{AB} ABC = AB + C
配项法
在函数某一项乘以 A + A ‾ \overline{A} A = 1，将一项展开成两项，或者利用AB + A ‾ \overline{A} AC = AB + A ‾ \overline{A} AC + BC，增加冗余项BC。
例如：
Y1 = AB + B ‾ \overline{B} B C ‾ \overline{C} C + A C ‾ \overline{C} CD = AB + B ‾ \overline{B} B C ‾ \overline{C} C+ A C ‾ \overline{C} CD(B + B ‾ \overline{B} B) = AB + B ‾ \overline{B} B C ‾ \overline{C} C + AB C ‾ \overline{C} CD + A B ‾ \overline{B} B C ‾ \overline{C} CD = AB + B ‾ \overline{B} B C ‾ \overline{C} C
公式法缺点：使用公式法化简有时很难判定结果是否为最简，不够直观。
如果觉得《逻辑函数的公式化简法》对你有帮助，请点赞、收藏，并留下你的观点哦！
