问答题 用消解原理证明下述公式是矛盾式： （p∨q）∧（p∨r）∧（q∨r）∧（p∨r）∧r。

问答题 如图是一颗有7个结点的树，这里用黑白两色对T的结点着色，如果交换T的某个左子树与右子树以后，一种着色方案变成另一种着色方案，则认为这两张方案是同样的方案，问不同的着色方案有多少种。

问答题 给出下面每一对C1，C2的消解结果： C1：p∨q∨r，C2：p∨r∨s。