逻辑代数中的代入定理不会扩展基本公式和常用公式的使用范围