33题:用消解法判断下述公式是否是可满足的

空间设计 1年前 已收到1个回答 举报

峰峰Dyiyi 幼苗

共回答了20个问题采纳率:100% 举报

  33.  1)p∧(┐p∨┐q)∧q(p∧q)∧(┐p∨┐q)  ((p∧q)∧┐p)∨((p∧q)∧┐q)0∨00是矛盾式;  2)(p∨q)∧(p∨┐q)∧(┐p∨r)(p∨q)∨r)∧((p∨q)∨┐r)∧((p∨┐q)∨r)∧((p∨┐q)∨┐r)∧((┐p∨r)∨q)...

1年前

5
可能相似的问题
Copyright © 2024 YULUCN.COM - 雨露学习互助 - 16 q. 1.760 s. - webmaster@yulucn.com