离散数学:用消解法判断下列公式是否是可满足的:(p∨q)∧(p∨┐q)∧(┐p∨r)

zhengyunwei25 1年前 已收到1个回答 举报

ggh123 幼苗

共回答了26个问题采纳率：88.5% 举报

(p∨q)∧(p∨┐q)∧(┐p∨r)
=[(p∧(p∨┐q))∨q∧(p∨┐q))]∧(┐p∨r)
=[(p∨p∧┐q)∨(q∧p)]∧(┐p∨r)
=(p∨p∧(┐q∨q))∧(┐p∨r)
=p∧(┐p∨r)
=p∧r

1年前

2
可能相似的问题

你能帮帮他们吗

精彩回答

Copyright © 2024 YULUCN.COM - 雨露学习互助 - 16 q. 0.031 s. - webmaster@yulucn.com