问答题
构造公式A=（p∨q）∧（￢q∨r）∧（￢p∨q）∧￢r的否证，从而证明它是矛盾式。
问答题 给出公式每一对简单析取式的消解结果：C1=p∨￢q∨r，C2=￢p∨r∨s。
问答题 给出公式每一对简单析取式的消解结果：C1=￢p∨q∨￢r，C2=p∨￢r∨s。
问答题 将公式E=p∧￢q化成S5={↓}上的公式。
