在一个含有变量A的逻辑代数等式中，如果将所有出现A的地方都代之以一个逻辑函数，则等式仍然成立。这个规则称为
A、摩根定理
B、与或非规则
C、同时定理
D、代入规则