公式化简法就是运用逻辑函数的基本运算法则和基本定理对逻辑函数进行化简。例如,

可运用
A+

=
1,将两项并为一项;运用
A+
AB=A, A+
B=A+
B,消去多余因子;运用
A+

=1进行拆项或补项等方法,使表达式得以简化。
例1128 化简下式,并用与非门实现其逻辑功能
Y=
BC+A
C+AB
+ABC 解 :

据此,所得的逻辑图如图Z1131所示。
公式化简法技巧性强,不宜掌握,特别是难于判断运算结果是否已简化成项数最少、每项变量数目也最少的最简式。因而,在变量数目不多于5时,常用卡诺图化简法。