公式化简法就是运用逻辑代数中的各种定理、公式以及运算规则把逻辑表达式加以简化的方法。