在任何一个含有变量的等式中，将其中所有的A均用逻辑函数Y来取代，则等式仍然成立，这个规则就称为代入规则