计算题 给出公式每一对C₁，C₂的消解结果：C₁=p∨￢q∨r￢∨s，C₂=s。

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

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

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

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

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

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