西安电子科技大学逻辑等价式$1.3.1软件学院家家E1o-(PVQ)- -PA-Q德，摩根定律En-(PAQ)- -PV -QE?PV (PAQ)-P吸收律ErP A(PVQ) PEut蕴含表达式(P-→Q) ±-PVQEt;等值表达式(P→Q) =(P-Q) A(Q-P)Er.PVT-T零一律E17PAF-FEisPVF-P同一律E1gPAT-PE20排中律PV-P-T矛盾律EnPA-P-F输出律Es(PAQ-R)-(P-(Q-R)归谬律E(P→Q) A(P→-Q))--P逆反律E(P+Q)=(-0+-P)
西安电子科技大学 §1.3.1 逻辑等价式 软件学院
西安电子科技大学$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 逻辑等价式