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

分类: 作业答案 • 2022-05-27 23:08:16

问题描述：

答

　　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)...