[ステップ1] 次の同値の式を用いて,論理記号≡,→を除去する.
F ≡ G = (F → G) ∧ (G → F)
F → G = ¬F ∨ G
[ステップ2] 次の同値の式を用いて,否定記号を基本論理式の直前に持っ
てくる.
¬(¬F) = F
¬(F ∨ G) = ¬F ∧ ¬G
¬(F ∧ G) = ¬F ∨ ¬G
[ステップ3] 次の分配則を用いて,連言
標準形,選言標準形を作る.
F ∨ (G ∧ H) = (F ∨ G) ∧ (F ∨ H)
F ∧ (G ∨ H) = (F ∧ G) ∨ (F ∧ H)
さらに,これらの式の変形ステップの途中で同値な式の
規則を適宜使用することができる.
|