公式化简法没有固定的步骤可以遵循，它是在逻辑代数公式反复应用过程中求得简化的。