常用的化简方法有公式化简发和卡诺图化简法,后面涉及的奎恩-麦克拉斯基(Q-M)化简适用于计算机化简,本文中不涉及。
公式化简法
首先要了解什么是公式的最简形式
通常与或形式所包含的乘积项最少,则称为逻辑函数式的最简形式。
如:
Y=AC+B'C
并项法
AB+AB`=A

吸收法
A+AB=A
证明:A+AB=A·(1+B)=A

消项法
AB+A`C+BC=AB+A`C
证明:
AB+A`C+BC=AB+A`C+BC(A+A')
=AB+A`C+BCA+BCA'
=AB(1+C)+A'C(1+B)
=AB+A`C
AB+A`C+BCD=AB+A`C

消因子法