33题：用消解法判断下述公式是否是可满足的
问题描述：
33题：用消解法判断下述公式是否是可满足的
答
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)...