离散数学，用等值演算法判断下列公式类型，求详细过程，这题有三个字母，搞得我好乱啊（x_x；）
1个回答
展开全部
(q∧(p∨t))→((p∧s)→q)
⇔ ¬(q∧(p∨t))∨((p∧s)→q) 变成 合取析取
⇔ ¬q∨¬(p∨t) ∨((p∧s)→q) 德摩根定律
⇔ ¬q∨¬(p∨t) ∨(¬(p∧s)∨q) 变成 合取析取
⇔ ¬p∨¬(p∨t) ∨¬(p∧s)∨q 结合律
⇔ ¬p∨¬(p∧s)∨q 吸收律
⇔ ¬(p∧s)∨q 吸收律
是可满足式。
⇔ ¬(q∧(p∨t))∨((p∧s)→q) 变成 合取析取
⇔ ¬q∨¬(p∨t) ∨((p∧s)→q) 德摩根定律
⇔ ¬q∨¬(p∨t) ∨(¬(p∧s)∨q) 变成 合取析取
⇔ ¬p∨¬(p∨t) ∨¬(p∧s)∨q 结合律
⇔ ¬p∨¬(p∧s)∨q 吸收律
⇔ ¬(p∧s)∨q 吸收律
是可满足式。
追问
能问一下倒数第二步为什么t不见了，怎么化掉的？
我懂了，吸收率……不好意思，之前没理解好，谢谢你！
已赞过
已踩过<
你对这个回答的评价是？
推荐律师服务：
若未解决您的问题，请您详细描述您的问题，通过百度律临进行免费专业咨询
