问题描述： 33题：用消解法判断下述公式是否是可满足的 1个回答 分类：数学 2014-11-29 问题解答： 我来补答 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)∧((┐p∨r)∨┐q) (p∨q∨r)∧(p∨q∨┐r)∧(p∨┐q∨r)∧(p∨┐q∨┐r)∧(┐p∨q∨r)∧(┐p∨┐q∨r)M0∧M1∧M2∧M3∧M4∧M6m5∨m7是非重言的可满足式. 展开全文阅读
