问答题 给出公式每一对C1，C2的消解结果：C1=p∨￢q∨r￢∨s，C2=s。

问答题 给出公式每一对C1，C2的消解结果：C1=￢p∨￢q￢r，C2=￢q∨￢r∨s∨￢t。

问答题 设A，B，C为任意的命题公式：若A∧CB∧C，举例说明AB不一定成立。