代入规则

任何一个含有变量 A 的逻辑等式,如果将所有出现 A 的位置都代之以同一个逻辑函数 F,则等式仍然成立。