第2章命题逻辑等值演算 等值式与基本的等值式 等值演算与置换规则 析取范式与合取范式,主析取范式与主合取 范式 联结词完备集 可满足性问题与消解法
1 第2章 命题逻辑等值演算 等值式与基本的等值式 等值演算与置换规则 析取范式与合取范式，主析取范式与主合取 范式 联结词完备集 可满足性问题与消解法
2.1等值式 口等值式:公式A,B的等价式A<B为永 真式 △符号:A台B,也称A逻辑恒等于B
2 2.1 等值式 ❑等值式：公式A，B的等价式A↔B为永 真式 ❖符号：ＡＢ，也称A逻辑恒等于B
2.1等值式 口例子 令判断→p台→p D pFT TF Ld TT 3
3 2.1 等值式 p ¬p ¬¬p ¬¬p p F T F T T F T T ❑例子 ❖ 判断¬¬pp
2.1等值式 口例子 令判断Pq台一pVq Pq卩>q pvg p-q收"pvq FFT FTI T TF F TTFT TTFT TTTT TITF 4
4 2.1 等值式 p q ¬p p→q ¬pq p→q ¬pq F F T T T T F T T T T T T F F F F T T T F T T T ❑例子 ❖ 判断 p→q ¬pq
2.1等值式 口否定律 令双重否定律→p→p ◆德摩根律 (pVq分-p∧-q (p∧q)分→pV=q 口幂等律pp兮p,卩∧p分p 口交换律 ☆pVq冷qVp ☆卩∧q分q∧p ☆卩q分qP 5
5 2.1 等值式 ❑否定律 ❖双重否定律 ¬¬pp ❖德摩根律 • ¬ (p q) ¬ p ¬q • ¬ (p q) ¬p ¬q ❑幂等律 p p p， p p p ❑交换律 ❖p q q p ❖p q q p ； ❖p q q p