计算题 给出公式每一对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不一定成立。

设A，B为任意的命题公式，证明：￢A￢B当且AB。

问答题设A，B为任意的命题公式，证明：￢A⇔￢B当且A⇔B。