如何简化指定逻辑子句并转化为蕴含式以构建蕴含图？

第一步：化简目标子句 #

给定子句 (a ∧ b) ∨ (¬a ∧ b)，可以用分配律提取公共因子 b：

(a ∧ b) ∨ (¬a ∧ b) = b ∧ (a ∨ ¬a)

逻辑中 a ∨ ¬a 是永真式（无论a取何值都为真），永真式与任何命题的合取等价于该命题本身，因此化简结果为：

b ∧ (a ∨ ¬a) = b

原复杂子句完全等价于单个原子命题 b。

第二步：从化简后的子句推导蕴含式 #

回忆析取子句转蕴含式的规则：对于析取子句 L₁ ∨ L₂ ∨ ... ∨ Lₙ，可对每个文字 Lᵢ 生成蕴含式 ¬Lᵢ → (L₁ ∨ ... ∨ Lᵢ₋₁ ∨ Lᵢ₊₁ ∨ ... ∨ Lₙ)。

对于化简后的子句 b（仅含一个析取项的子句），应用规则后得到：

• ¬b → ⊥（其中⊥表示矛盾，即去掉唯一析取项b后无剩余文字的空析取）

在构建蕴含图的场景中，¬b → ⊥是最贴合逻辑推导的形式，它直接体现“若否定b，则会导致矛盾”的核心关系。

等价性验证 #

若不直接化简，也可通过真值表验证：原式子(a ∧ b) ∨ (¬a ∧ b)的真值完全由b决定——只要b为真，无论a取何值式子都为真；b为假时式子必为假，这再次证明它与b完全等价。

内容的提问来源于stack exchange，提问作者Henri Clamageran