西安电子科技大学$1.3.1逻辑等价式软件学院【定理】将命题式A中的某个子公式B用与B等替换规则价的另一个命题公式C置换，所得命题公式A与A逻辑等价。例如: R^(P→Q)台RΛ(-P V Q)应用替换规则、代入规则和基本的逻辑等价式，可以将一个公式变换为另一个与之等价的公式。西安电子科技大学 软件学院 应用替换规则、代入规则和基本的逻 辑等价式，可以将一个公式变换为另 一个与之等价的公式 。 替换规则 【定理】将命题式A中的某个子公式B用与B等 价的另一个命题公式C置换，所得命题公式A′ 与A逻辑等价。 例如： R ∧ ( P → Q ) ⇔ R ∧ (¬ P ∨ Q) §1.3.1 逻辑等价式