1、公式化简法就是运用上述的逻辑代数运算法则和定律把复杂的逻辑函数式化成简单的逻辑式（）

设F 1 的对偶函数为 ，则 为 =XUW+XUY+XVW+XVY+XZW+XZY =X(UW+UY+VW+VY+ZW+ZY) =XEW(U+V+Z)+Y(U+V+Z)] =X(U+V+Z)(Y+W) 有 =X+WY+UVZ$F 2 =AB+AC'+B'C+B'D+BD'+BC'+ADE(F+G) =A(B+C')+B'C+B'D+BD'+BC'+ADE(F+G) (用反演律) (用吸收律) (反用吸收律) (用重叠律) =A+B'D+BC'+CD' (用吸收律) 这是个变量数多于4个的逻辑函数，若用五变量以上卡诺图化简可能会很麻烦，一般就用公式法来化简。但是对有些逻辑函数如果发现多于4个变量的项只集中在其中的少数几项上，而其他各项的变量只含有4个以内的变量(如本例的前6项只含有A、B、C、D4个变量，而没有E、F、G 3个变量)，这时可以在这几项中局部采用卡诺图来化简，然后再用这个局部结果与其他多于4个变量的项用公式来化简，有时会很方便。以本例来说明。 F 2 =AB+AC'+B'C+B'D+BD'+BC'+ADE(F+G) 因此，式中多于4个以上变量的项仅一项，而其他6项的变量数均在4个以内，且变量类集中在A、B、C、D 4个之中，故可采用局部卡诺图法。令F 3 =AB+AC'+B'C+B'D+BD'+BC'，用卡诺图对其化简，如图L2-4-2所示。由图可得 F 3 =A+B'D+BC'+CD' 这样 F 2 =F 3 +ADE(F+G) (用吸收律) =A+B'D+BC'+CD' 所得结果与前面一样，而求解过程简捷清晰。