离散数学部分概念和公式总结精简版.docxVIP

离散数学复习材料 第一章 命题逻辑 一、等价公式 ( 真值表 ) 1)常用联结词： ┐否定 ∨析取 ∧合取 P ┐P P Q P ∨ Q P Q P ∧ Q T F T T T T T T F T T F T T F F F T T F T F F F F F F F → ：条件 ：双条件 当且仅当 Q 取值为 F 时 P →Q 为 F，否则为 T P Q P →Q( ┐P∨ Q) T T T T F F F T T F F T ★等价公式表 (等值公式表 ) 双 重 否 ┐┐ P=P 定 P∨ P=P 幂等律 P∧ P=P (P∧ Q) ∧R=P ∧ (Q ∧R) 结合律 (P∨ Q) ∨R=P ∨ (Q ∨R) P∧ Q=Q ∧ P 交换律 P∨ Q=Q ∨ P P∧ (Q∨ R)=(P ∧Q) ∨ (P ∧R) 分配律 P∨ (Q∧ R)=(P ∨Q) ∧ (P ∨R) P∨ (P∧ Q)=P 吸收 P∧ (P∨ Q)=P ┐ (P∧ Q)= ┐P∨ ┐Q 德摩根 (P∨ Q)= ┐P∧ ┐Q  P Q P Q T T T T F F F T F F F T 常用的其它真值表 P→ Q= ┐P∨ Q Q=(P → Q)∧ (Q → P) P Q=Q P P Q=(P ∧ Q)∨( ┐P∧┐ Q) (P Q) = P ┐Q R∨ (P∨ ┐ P)=T R∧ (P∧