使用等值演算推断下列公式的类型 推断公式类型 Q∨¬((¬p∨Q)∧p)
1个回答
关注
![]()
展开全部
根据等值演算的规则，我们可以将公式 Q∨¬((¬p∨Q)∧p) 分解为以下几个步骤：将 ¬((¬p∨Q)∧p) 用德摩根定律展开，得到 (¬¬p ∧ ¬Q) ∨ ¬p。将 ¬¬p 简化为 p，得到 (p ∧ ¬Q) ∨ ¬p。将 p ∧ ¬Q 用德摩根定律展开，得到 (p ∨ Q) ∧ (p ∨ ¬Q)。将 p ∨ ¬Q 简化为 ¬(¬p ∧ Q)，得到 (p ∨ Q) ∧ ¬(¬p ∧ Q)。将 ¬(¬p ∧ Q) 用德摩根定律展开，得到 p ∨ ¬Q。将 Q 和 p ∨ ¬Q 用合取范式结合起来，得到 Q ∨ p ∨ ¬Q。因此，可以推断出公式 Q∨¬((¬p∨Q)∧p) 的类型为三项式的析取范式。
咨询记录 · 回答于2023-06-27
Q∨¬((¬p∨Q)∧p)
使用等值演算推断下列公式的类型
推断公式类型
使用等值演算推断下列公式的类型
Q∨¬((¬p∨Q)∧p)
推断公式类型
使用等值演算推断下列公式的类型
已赞过
评论
收起
你对这个回答的评价是？
本回答由光点科技提供